Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles

Description Logics (DLs) are a family of knowledge representation formalisms used for terminological reasoning. They have a wide range of applications such as medical knowledge-bases, or the semantic web. Research on DLs has been focused on the development of sound and complete inference algorithms to decide satisfiability and subsumption for increasingly expressive DLs. Non-standard inferences are a group of relatively new inference services which provide reasoning support for the building, maintaining, and deployment of DL knowledge-bases. So far, non-standard inferences are not available for very expressive DLs. In this paper we present first results on non-standard inferences for DLs with transitive roles. As a basis, we give a structural characterization of subsumption for DLs where existential and value restrictions can be imposed on transitive roles. We propose sound and complete algorithms to compute the least common subsumer (lcs).

[1]  Alexander Borgida,et al.  Computing Least Common Subsumers in Description Logics , 1992, AAAI.

[2]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[3]  Volker Haarslev,et al.  Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles , 2000, KR.

[4]  Deborah L. McGuinness,et al.  Asking Queries about Frames , 1996, KR.

[5]  Ralf Küsters,et al.  Unification in a Description Logic with Inconsistency and Transitive Closure of Roles , 2002, Description Logics.

[6]  Francesco M. Donini,et al.  Decidable reasoning in terminological knowledge representation systems , 1993 .

[7]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[8]  Ralf Küsters,et al.  Computing Least Common Subsumers in Description Logics with Existential Restrictions , 1999, IJCAI.

[9]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[10]  Franz Baader,et al.  KI 2001: Advances in Artificial Intelligence , 2001, Lecture Notes in Computer Science.

[11]  Anni-Yasmin Turhan,et al.  Using Non-standard Inferen es in Des ription Logi s | what does it buy me ? , 2001 .

[12]  Anni-Yasmin Turhan,et al.  Foundations of non-standard inferen es for DLs with transitive roles , 2022 .

[13]  Paliath Narendran,et al.  Unification of Concept Terms in Description Logics , 2001, Description Logics.

[14]  Ralf Küsters,et al.  Unification in a Description Logic with Transitive Closure of Roles , 2001, LPAR.