A logic for object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Attributive concept descriptions with complements
Artificial Intelligence
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Using explicit ontologies in KBS development
International Journal of Human-Computer Studies
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy
What Are Ontologies, and Why Do We Need Them?
IEEE Intelligent Systems
A Graph-Oriented Model for Articulation of Ontology Interdependencies
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
Conceptual Modeling for Distributed Ontology Environments
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
We describe a formal design of a hybrid language and show that it provides a suitable basis for representing and interacting with ontologies. We specify ontologies and query them with a clear logical semantics. The proposed language combines the expressive power of description logics and rules.