A Description Logic with Transitive and Converse Roles Role Hierarchies and Qualifying Number Restrictions

Authors:
Horrocks I.;Sattler U.;Tobies S.
Affiliations:
-;-;-
Venue:
A Description Logic with Transitive and Converse Roles Role Hierarchies and Qualifying Number Restrictions
Year:
1999

Citing 0
Cited 7

Practical Reasoning for Expressive Description Logics

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Flexible Ontology Reasoning Architecture for the Semantic Web

IEEE Transactions on Knowledge and Data Engineering
Composing Modular Ontologies with Distributed Description Logics

Modular Ontologies
SIM-DLA: A Novel Semantic Similarity Measure for Description Logics Reducing Inter-concept to Inter-instance Similarity

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
ALCPu: an integration of description logic and general rules

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A resolution based description logic calculus

Acta Cybernetica
Ontology query answering on databases

ISWC'06 Proceedings of the 5th international conference on The Semantic Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We successively present algorithms that decides satisfiability of the DL extended with transitive and inverse roles, role hierarchies, and qualifying number restrictions. Early experiments indicate that this algorithm is well-suited for implementation.