Practical reasoning for very expressive description logics
DOI10.1093/JIGPAL/8.3.239zbMATH Open0967.03026OpenAlexW2109003533MaRDI QIDQ4487262FDOQ4487262
Authors: Ian Horrocks, Ulrike Sattler, Stephan Tobies 
Publication date: 28 August 2001
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.1064
Recommendations
- Publication:4938424
- scientific article; zbMATH DE number 2090284
- Reasoning in expressive description logics
- scientific article; zbMATH DE number 1531967
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- Reasoning and query answering in description logics
- Description Logics
- A logical semantics for description logic programs
computational experimentsdescription logicdecidabilitymodal logicsatisfiabilityknowledge representationautomated reasoningtableaux algorithm
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)
Cited In (58)
- Blocking and other enhancements for bottom-up model generation methods
- Semantic characterization of rational closure: from propositional logic to description logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK
- Title not available (Why is that?)
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- Reasoning about Multiple Aspects in Rational Closure for DLs
- The two-variable fragment with counting and equivalence
- Tractable approximate deduction for OWL
- Deciding expressive description logics in the framework of resolution
- Second-order reasoning in description logics
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- A proof theory for description logics.
- Reasoning with uncertain and inconsistent OWL ontologies
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
- Reasoning in expressive description logics under infinitely valued Gödel semantics
- Rough Pragmatic Description Logic
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
- Foundations of Information and Knowledge Systems
- Decidable description logics of context with rigid roles
- A loop-free decision procedure for modal propositional logics K4, S4 and S5
- \({\mathcal E}\)-connections of abstract description systems
- Unification in the description logic \(\mathcal{EL}\) without the top concept
- Using tableau to decide description logics with full role negation and identity
- Tractable reasoning using logic programs with intensional concepts
- Towards World Identification in Description Logics
- Semantic web
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
- BDD-based decision procedures for the modal logic K ★
- EXPtime tableaux for ALC
- Inductive logic programming in databases: from Datalog to \(\mathcal {DL} + \text{LOG}^{\neg \vee}\)
- Ontology Integration Using ε-Connections
- Title not available (Why is that?)
- OUP accepted manuscript
- Deciding unifiability and computing local unifiers in the description logic \(\mathcal{EL}\) without top constructor
- Reasoning and query answering in description logics
- Beth definability in expressive description logics
- A Correspondence between Temporal Description Logics
- Foundations of Onto-Relational Learning
- Rational closure for all description logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computing the least common subsumer w.r.t. a background terminology
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A universal approach to guarantee data privacy
- On the relative expressiveness of description logics and predicate logics
- ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- Reasoning in description logics by a reduction to disjunctive datalog
- An overview of tableau algorithms for description logics
- Automata can show PSpace results for description logics
- Fuzzy description logics with general t-norms and datatypes
- On the undecidability of logics with converse, nominals, recursion and counting
- Composing Modular Ontologies with Distributed Description Logics
This page was built for publication: Practical reasoning for very expressive description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4487262)
