Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Description Logic Handbook
The Description Logic Handbook
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Web Semantics: Science, Services and Agents on the World Wide Web
A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Reasoning and change management in modular ontologies
Data & Knowledge Engineering
Guest editorial preface: Special issue on contexts and ontologies
The Knowledge Engineering Review
Information Sharing Agents in a Peer Data Exchange System
Globe '08 Proceedings of the 1st international conference on Data Management in Grid and Peer-to-Peer Systems
Mapping Properties of Heterogeneous Ontologies
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Knowledge management in the HR sector of RD organizations
WSEAS Transactions on Information Science and Applications
Scalable Distributed Ontology Reasoning Using DHT-Based Partitioning
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
A Segmentation-Based Approach for Approximate Query over Distributed Ontologies
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Formal Properties of Modularisation
Modular Ontologies
On Importing Knowledge from Ontologies.
Modular Ontologies
Composing Modular Ontologies with Distributed Description Logics
Modular Ontologies
Complexity of Reasoning With Expressive Ontology Mappings
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
On the decidability of role mappings between modular ontologies
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Supporting manual mapping revision using logical reasoning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
DL-LITER in the light of propositional logic for decentralized data management
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Non-conservative extension of a peer in a P2P inference system
AI Communications
On relating heterogeneous elements from different ontologies
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Instance migration in heterogeneous ontology environments
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies
Expert Systems with Applications: An International Journal
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
Ontological diversity: the case from space
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Decomposition of distributed nonmonotonic multi-context systems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Embeddings of simple modular extended RDF
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Automatic building of an appropriate global ontology
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Reconciling concepts and relations in heterogeneous ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
On the semantics of linking and importing in modular ontologies
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Debugging is-a structure in networked taxonomies
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
Design of a scalable reasoning engine for distributed, real-time and embedded systems
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Expert Systems with Applications: An International Journal
Distributed instance retrieval in EHQDDL+SHIQ representation framework
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
We investigate a formalism for reasoning with multiple local ontologies, connected by directional semantic mappings. We propose: (1) a relatively small change of semantics which localizes inconsistency (thereby making unnecessary global satisfiability checks), and preserves directionality of "knowledge import"; (2) a characterization of inferences using a fixed-point operator, which can form the basis of a cache-based implementation for local reasoners; (3) a truly distributed tableaux algorithm for cases when the local reasoners use subsets of SHIQ. Throughout, we indicate the applicability of the results to several recent proposals for knowledge representation and reasoning that support modularity, scalability and distributed reasoning.