Many-sorted logic and its applications
Many-sorted logic and its applications
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
First-order modal logic
Modal description logics: modalizing roles
Fundamenta Informaticae
Learning to map between ontologies on the semantic web
Proceedings of the 11th international conference on World Wide Web
Supporting ontological analysis of taxonomic relationships
Data & Knowledge Engineering - ER2000
DAML+OIL: An Ontology Language for the Semantic Web
IEEE Intelligent Systems
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Conceptual modeling with description logics
The description logic handbook
The PROMPT suite: interactive tools for ontology merging and mapping
International Journal of Human-Computer Studies
FCA-MERGE: bottom-up merging of ontologies
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Inheritance of multiple identity conditions in order-sorted logic
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Semantic enrichment in ontologies for matching
AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Identity conditions for ontological analysis
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
| Hi-index | 0.00 |
In the research area of ontology, it is still necessary to refine the techniques of mapping and integration for further development of the Semantic Web. We propose a new mapping technique between the concepts in different ontologies, using their Identity Conditions (ICs) which give unique values for individuals and determine their identities. Examples of ICs are fingerprint for person, ISBN for book, URI for web object. We regard a Kripke frame, that is a set of worlds and accessibility relations on them, as a community of agents, interpreting a world as the knowledge base of an agent and accessibility relations as the communication channels between agents. We utilize the strongly identifiable characterisitics of ICs to find the correspondence of a concept in other accessible worlds. As a result, the knowledge of ontology defined in a world can be expanded with the contents of those corresponding concepts, and can be regarded as a partial ontology integration or semantic enrichment in ontologies.