Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
ε-connections of abstract description systems
Artificial Intelligence
Towards Collaborative Environments for Ontology Construction and Sharing
CTS '06 Proceedings of the International Symposium on Collaborative Technologies and Systems
Generalized link properties for expressive ε-connections of description logics
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
A formal investigation of mapping language for terminological knowledge
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
DRAGO: distributed reasoning architecture for the semantic web
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Formalizing Ontology Modularization through the Notion of Interfaces
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
On Importing Knowledge from Ontologies.
Modular Ontologies
Package-Based Description Logics
Modular Ontologies
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
A semantic importing approach to knowledge reuse from multiple ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Reusing ontologies and language components for ontology generation
Data & Knowledge Engineering
Evaluating formalisms for modular ontologies in distributed information systems
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Aspects of inconsistency resolution in modular ontologies
Canadian AI'08 Proceedings of the Canadian Society for computational studies of intelligence, 21st conference on Advances in artificial intelligence
A Metric Suite for Evaluating Cohesion and Coupling in Modular Ontologies
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Cohesion and coupling metrics for ontology modules
Information Technology and Management
On the semantics of linking and importing in modular ontologies
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Package-based description logics – preliminary results
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Generating ontologies via language components and ontology reuse
NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems
A semantic metrics suite for evaluating modular ontologies
Information Systems
| Hi-index | 0.00 |
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need for a common framework for comparing modular ontology language proposals on the basis of criteria such as their semantic soundness and expressive power We introduce an Abstract Modular Ontology (AMO) language and offer precise definitions of semantic soundness such as localized semantics and exact reasoning, and expressivity requirements for modular ontology languages We compare Distributed Description Logics (DDL), ε-connections, and Package-Based Description Logics (P-DL) with respect to these criteria Our analysis suggests that by relaxing the strong domain disjointedness assumption adopted in DDL and ε-connection, as P-DL demonstrated, it is possible to overcome some known semantic difficulties and expressivity limitations of DDL and ε-Connections.