A description logic with transitive and inverse roles and role hierarchies
From MaRDI portal
Publication:4260087
DOI10.1093/logcom/9.3.385zbMath0940.03039OpenAlexW1964664152MaRDI QIDQ4260087
Publication date: 7 September 1999
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/9.3.385
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)
Related Items
A bi-intuitionistic modal logic: foundations and automation, An efficient approach to nominal equalities in hybrid logic tableaux, Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition, Reasoning within intuitionistic fuzzy rough description logics, ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching, A tableau algorithm for description logics with concrete domains and general TBoxes, Cardinality Restrictions Within Description Logic Connection Calculi, Lightweight hybrid tableaux, Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey, Mapping Properties of Heterogeneous Ontologies, Consistency reasoning in lattice-based fuzzy description logics, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse, Optimizing terminological reasoning for expressive description logics, Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\), A loop-free decision procedure for modal propositional logics K4, S4 and S5, A Connection Calculus for the Description Logic $$ {\mathcal{ALC}} $$, Ontology Integration Using ε-Connections, A prover dealing with nominals, binders, transitivity and relation hierarchies, Blocking and other enhancements for bottom-up model generation methods, Description Logics, Ontologies and Databases: The DL-Lite Approach, Reasoning within expressive fuzzy rough description logics, Deciding regular grammar logics with converse through first-order logic, Terminating tableau systems for hybrid logic with difference and converse, EXPtime tableaux for ALC, Extended decision procedure for a fragment of HL with binders, Reasoning with nominal schemas through absorption
