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
Embeddings of simple modular extended RDF
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
The consistency of the CADIAG-2 knowledge base: a probabilistic approach
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Modular first-order ontologies via repositories
Applied Ontology - Modularity in Ontologies
The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach
Journal of Information Technology Research
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
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 important 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 problems based on ε -Connections. We aim to use ε -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.