On Expressive Description Logics with Composition of Roles in Number Restrictions
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A New Complicated-Knowledge Representation Approach Based on Knowledge Meshes
IEEE Transactions on Knowledge and Data Engineering
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae
Description Logic Representation for Requirement Specification
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Description Logic Framework for Access Control and Security in Object-Oriented Systems
RSFDGrC '07 Proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Formalization of RBAC policy with object class hierarchy
ISPEC'07 Proceedings of the 3rd international conference on Information security practice and experience
Modeling of the role-based access control policy with constraints using description logic
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I
Constructing ontologies for sharing knowledge in digital archives
ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae
| Hi-index | 0.00 |
Class-based languages express knowledge in terms of objects and classes, and have inspired a huge number of formalisms in computer science. Description logics form a family of both class-based and logic-based knowledge representation languages which allow for modeling an application domain in terms of objects, classes and relationships between classes, and for reasoning about them. This paper presents an overview of the research carried out in the lastyears in description logics, with the main goal of illustrating how these logics provide the foundations for class-based knowledge representation formalisms.