Enabling agents to work together
Communications of the ACM
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
An overview of the ONIONS project: applying ontologies to the integration of medical terminologies
Data & Knowledge Engineering - Special issue on formal ontology and conceptual modeling
Universality of data retrieval languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
A Practical Walkthrough of the Ontology Derivation Rules
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
ε-connections of abstract description systems
Artificial Intelligence
Web ontology segmentation: analysis, classification and use
Proceedings of the 15th international conference on World Wide Web
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
A logical framework for modularity of ontologies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Explaining subsumption in description logics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Aspects of distributed and modular ontology reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Tools for assembling modular ontologies in ontolingua
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A modularity approach for a fragment of ALC
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
On the semantics of linking and importing in modular ontologies
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Modular ontologies – a formal investigation of semantics and expressivity
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Hi-index | 0.00 |
This chapter focuses on the notion of importing terms from an ontology. Rather than proposing a specific formalism for this task and proving theorems about its properties, it starts by surveying a sample of lesser known papers on this topic in both the AI and Database literature. Based on this, it then derives a list of desirable properties for the notion of "importing a set of identifiers from an exporting to an importing knowledge base ", and provides a framework for alternate formal definitions of this notion. Some of the more novel aspects are the idea of modifying the exporting ontology before the subset of axioms to be imported is determined, and limiting the use of imported terms. The chapter concludes with a review of the concept of "expressive power", and how it might apply to importing mechanisms.