Practical reasoning for very expressive description logics
From MaRDI portal
Publication:4487262
DOI10.1093/jigpal/8.3.239zbMath0967.03026MaRDI QIDQ4487262
Ulrike Sattler, Ian Horrocks, Stephan Tobies
Publication date: 28 August 2001
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.1064
modal logic; computational experiments; automated reasoning; knowledge representation; decidability; satisfiability; description logic; tableaux algorithm
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T30: Knowledge representation
03B70: Logic in computer science
03B35: Mechanization of proofs and logical operations
Related Items
\({\mathcal E}\)-connections of abstract description systems, On the undecidability of logics with converse, nominals, recursion and counting, Deciding expressive description logics in the framework of resolution, Fuzzy description logics with general t-norms and datatypes, EXPtime tableaux for ALC, A loop-free decision procedure for modal propositional logics K4, S4 and S5, Computing the least common subsumer w.r.t. a background terminology, Reasoning in description logics by a reduction to disjunctive datalog, How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse, Foundations of Onto-Relational Learning, Inductive Logic Programming in Databases: From <scp>Datalog</scp> to, Ontology Integration Using ε-Connections, Composing Modular Ontologies with Distributed Description Logics, A Correspondence between Temporal Description Logics, BDD-based decision procedures for the modal logic K ★