IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
The description logic handbook
Implementation and optimization techniques
The description logic handbook
From tableaux to automata for description logics
Fundamenta Informaticae
ε-connections of abstract description systems
Artificial Intelligence
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Integrity and change in modular ontologies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Forgetting in Managing Rules and Ontologies
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Ontology module extraction for ontology reuse: an ontology engineering perspective
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Situational reasoning for task-oriented mobile service recommendation
The Knowledge Engineering Review
Natural Language Meets Spatial Calculi
Proceedings of the international conference on Spatial Cognition VI: Learning, Reasoning, and Talking about Space
Mapping Properties of Heterogeneous Ontologies
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
An Interface-Based Ontology Modularization Framework for Knowledge Encapsulation
ISWC '08 Proceedings of the 7th International 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
Towards Distributed Ontology Reasoning for the Web
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Criteria and Evaluation for Ontology Modularization Techniques
Modular Ontologies
Conservativity in Structured Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
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
Modular reuse of ontologies: theory and practice
Journal of Artificial Intelligence Research
Modular Ontologies for Architectural Design
Proceedings of the 2009 conference on Formal Ontologies Meet Industry
A Formal Model of Competence-Based Assessment
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Distributed Resolution for Expressive Ontology Networks
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Concept and Role Forgetting in ${\mathcal {ALC}}$ Ontologies
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Cross: an OWL wrapper for reasoning on relational databases
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies
Expert Systems with Applications: An International Journal
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)
The modular structure of an ontology: an empirical study
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
Component models for semantic web languages
Semantic techniques for the web
Metric of intrinsic information content for measuring semantic similarity in an ontology
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
A novel approach to default reasoning for MAS
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Editorial: ANEMONE: An environment for modular ontology development
Data & Knowledge Engineering
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Automatic building of an appropriate global ontology
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
A comprehensive framework for the evaluation of ontology modularization
Expert Systems with Applications: An International Journal
Transforming semi-structured life science diagrams into meaningful domain ontologies with DiDOn
Journal of Biomedical Informatics
Formal specification of ontology networks
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
A formal semantics for weighted ontology mappings
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
The foundations of virtual ontology networks
Proceedings of the 9th International Conference on Semantic Systems
Ontological modelling of form and function for architectural design
Applied Ontology
Hi-index | 0.00 |
The standardization of the Web Ontology Language (OWL) leaves (at least) two crucial issues for Web-based ontologies unsatisfactorily resolved, namely how to represent and reason with multiple distinct, but linked ontologies, and how to enable effective knowledge reuse and sharing on the Semantic Web. In this paper, we present a solution for these fundamental problems based on E-Connections. We aim to use E-Connections to provide modelers with suitable means for developing Web ontologies in a modular way and to provide an alternative to the owl:imports construct. With such motivation, we present in this paper a syntactic and semantic extension of the Web Ontology language that covers E-Connections of OWL-DL ontologies. We show how to use such an extension as an alternative to the owl:imports construct in many modeling situations. We investigate different combinations of the logics SHIN(D), SHON(D) and SHIO(D) for which it is possible to design and implement reasoning algorithms, well-suited for optimization. Finally, we provide support for E-Connections in both an ontology editor, SWOOP, and an OWL reasoner, Pellet.