Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles
暂无分享,去创建一个
[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.