Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Description logics for conceptual data modeling
Logics for databases and information systems
Formal ontology: foundation of domain knowledge sharing and reusing
Journal of Computer Science and Technology
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Description Logics: Foundations for Class-based Knowledge Representation
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Answering Queries Using Views over Description Logics Knowledge Bases
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Reasoning with Individuals for the Description Logic SHIQ
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
Reasoning in expressive description logics
Handbook of automated reasoning
| Hi-index | 0.00 |
With the size and complexity of many software systems increasing, they need to give a greater emphasis to capture and maintain requirement knowledge within the software development process. This knowledge can be captured by the requirement ontology. But the requirement analysis systems must balance expressivity and inferential power with the real demands of requirement ontologies construction, maintenance, performance, and comprehensibility. Description logics (DLs) possess several features--a terminological orientation, a formal semantics, and efficient reasoning procedures-- which offer an effective tradeoff of these factors. In this paper, we use description logics SHIQto define the objects and their relations, and identify the subsumptions capturing the constraints and relationships among the objects. We show how the subsumptions can be used to answer some questions.