scientific article; zbMATH DE number 1765711
From MaRDI portal
Publication:4539653
zbMATH Open0988.68599MaRDI QIDQ4539653FDOQ4539653
Authors: Volker Haarslev, Ralf Möller 
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830701
Title of this publication is not available (Why is that?)
Recommendations
Cited In (45)
- Incremental classification of description logics ontologies
- Deciding expressive description logics in the framework of resolution
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- Optimized description logic reasoning via core blocking
- Description Logics
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Individual Reuse in Description Logic Reasoning
- Reasoning on UML class diagrams
- Combining interval-based temporal reasoning with general TBoxes
- Decidability of SHIQ with complex role inclusion axioms
- A tableau algorithm for description logics with concrete domains and general TBoxes
- Multimedia enriched ontologies for video digital libraries
- Data complexity of query answering in expressive description logics via tableaux
- Reasoning about interaction protocols for customizing web service selection and composition
- Flexible software architectures for ontology-based information systems
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Title not available (Why is that?)
- Ontology Integration Using ε-Connections
- Combining answer set programming with description logics for the semantic web
- CoLoSS: the coalgebraic logic satisfiability solver
- Reasoning with rough description logics: An approximate concepts approach
- Racer
- Exploiting conjunctive queries in description logic programs
- Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
- Automata-based axiom pinpointing
- Natural language directed inference from ontologies
- Ontologies and Databases: The DL-Lite Approach
- Title not available (Why is that?)
- Computing the least common subsumer w.r.t. a background terminology
- Title not available (Why is that?)
- On the scalability of description logic instance retrieval
- Expressive probabilistic description logics
- COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
- Reasoning in description logics by a reduction to disjunctive datalog
- Automata-Based Axiom Pinpointing
- Open answer set programming for the semantic web
- Formally verified tableau-based reasoners for a description logic
- Realizing Default Logic over Description Logic Knowledge Bases
- GeoMergeP: geographic information integration through enriched ontology matching
- HTab: a terminating tableaux system for hybrid logic
- From description-logic programs to multi-context systems
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)
- Composing Modular Ontologies with Distributed Description Logics
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Matching in Hybrid Terminologies
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539653)
