Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
A semantic importing approach to knowledge reuse from multiple ontologies
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Journal of Artificial Intelligence Research
A logical framework for modularity of ontologies
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Conservative extensions in expressive description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Rules with contextually scoped negation
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Three semantics for distributed systems and their relations with alignment composition
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
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
Federated ALCI: Preliminary Report
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Querying the Web of Data: A Formal Approach
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Embeddings of simple modular extended RDF
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Editorial: ANEMONE: An environment for modular ontology development
Data & Knowledge Engineering
Modularity in the rule interchange format
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Contextualized knowledge repositories for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
The modular structure of an ontology: atomic decomposition
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Decentralized semantic threat graphs
DBSec'12 Proceedings of the 26th Annual IFIP WG 11.3 conference on Data and Applications Security and Privacy
A formal semantics for weighted ontology mappings
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
We present the syntax and semantics of a family of modular ontology languages, Package-based Description Logics (P-DL), to support context- specific reuse of knowledge from multiple ontology modules. In particular, we describe a P-DL ${\mathcal SHOIQP}$ that allows the importing of concept, role and nominal names between multiple ontology modules (each of which can be viewed as a ${\mathcal SHOIQ}$ ontology). ${\mathcal SHOIQP}$ supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient conditions on domain relations (i.e., the relations between individuals in different local domains) that need to hold in order to preserve the unsatisfiability of concept formulae, monotonicity of inference, transitive reuse of knowledge across modules.