Decidability of SHIQ with complex role inclusion axioms

DOI10.1016/J.ARTINT.2004.06.002MaRDI QIDQ814639zbMATH OpenOpenAlexWikidataFDO

Authors Ian Horrocks, Ulrike Sattler

Publication date 7 February 2006

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2004.06.002

zbMATH Keywords

Automated reasoningDescription logicsTableau algorithm

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Logic in artificial intelligence (68T27)

Recommendations

• A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions
• An extension of complex role inclusion axioms in the description logic \(\mathcal{SROIQ}\)
• On the complexity of (restricted) \(\mathcal{ALCI}r\)
• Deciding expressive description logics in the framework of resolution
• Conjunctive query answering for the description logic SHIQ

Cites work

• Attributive concept descriptions with complements
• Decidability of SHIQ with complex role inclusion axioms
• scientific article; zbMATH DE number 1614719 (Why is no real title available?)
• scientific article; zbMATH DE number 4202248 (Why is no real title available?)
• scientific article; zbMATH DE number 4166932 (Why is no real title available?)
• scientific article; zbMATH DE number 1189095 (Why is no real title available?)
• scientific article; zbMATH DE number 67500 (Why is no real title available?)
• scientific article; zbMATH DE number 67503 (Why is no real title available?)
• scientific article; zbMATH DE number 1754127 (Why is no real title available?)
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• scientific article; zbMATH DE number 2090317 (Why is no real title available?)
• scientific article; zbMATH DE number 1405450 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• On the expressivity of feature logics with negation, functional uncertainty, and sort equations
• PSpace reasoning for graded modal logics
• The Complexity of Regularity in Grammar Logics and Related Modal Logics
• The undecidability of the domino problem

Cited in

(22)

• Reasoning within expressive fuzzy rough description logics
• The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
• CTL^ with graded path modalities
• Modular materialisation of Datalog programs
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
• Answering regular path queries in expressive description logics via alternating tree-automata
• HermiT: an OWL 2 reasoner
• Reasoning within intuitionistic fuzzy rough description logics
• Deciding regular grammar logics with converse through first-order logic
• A framework for intuitionistic grammar logics
• Tractable approximate deduction for OWL
• A decidable extension of \(\mathcal{SROIQ}\) with complex role chains and unions
• Reasoning in expressive description logics under infinitely valued Gödel semantics
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• A Tableau Calculus for Regular Grammar Logics with Converse
• An extension of complex role inclusion axioms in the description logic \(\mathcal{SROIQ}\)
• Internal and external calculi: ordering the jungle without being lost in translations
• Proof theory and decision procedures for deontic STIT logics
• ExpTime tableau decision procedures for regular grammar logics with converse
• Decidability of SHIQ with complex role inclusion axioms
• Representing ontologies using description logics, description graphs, and rules

Describes a project that uses

Uses Software

• Racer

This page was built for publication: Decidability of SHIQ with complex role inclusion axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814639)