Attributive concept descriptions with complements
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
The PROMPT suite: interactive tools for ontology merging and mapping
International Journal of Human-Computer Studies
Ontology mapping: the state of the art
The Knowledge Engineering Review
Handbook on Ontologies (International Handbooks on Information Systems)
Handbook on Ontologies (International Handbooks on Information Systems)
Semantic integration: a survey of ontology-based approaches
ACM SIGMOD Record
Web ontology segmentation: analysis, classification and use
Proceedings of the 15th international conference on World Wide Web
Just the right amount: extracting modules from ontologies
Proceedings of the 16th international conference on World Wide Web
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
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Combining OWL ontologies using E-Connections
Web Semantics: Science, Services and Agents on the World Wide Web
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
On the semantics of linking and importing in modular ontologies
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Framework for an automated comparison of description logic reasoners
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Ontologies and the semantic web
Communications of the ACM - Surviving the data deluge
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Evaluating Ontology Modules Using an Entropy Inspired Metric
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
Efficient argumentation over ontology correspondences
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Formal Properties of Modularisation
Modular Ontologies
On Importing Knowledge from Ontologies.
Modular Ontologies
Conservativity in Structured Ontologies
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Mathematical Logic for Life Science Ontologies
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
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
An entropy inspired measure for evaluating ontology modularization
Proceedings of the fifth international conference on Knowledge capture
Deciding inseparability and conservative extensions in the description logic EL
Journal of Symbolic Computation
Import-by-query: ontology reasoning under access limitations
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Minimal module extraction from DL-lite ontologies using QBF solvers
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Dynamic selection of ontological alignments: a space reduction mechanism
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Task Oriented Evaluation of Module Extraction Techniques
ISWC '09 Proceedings of the 8th International Semantic Web Conference
The DL-lite family and relations
Journal of Artificial Intelligence Research
Activity recognition in smart homes: from specification to representation
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Incremental Classification of Description Logics Ontologies
Journal of Automated Reasoning
Safe and economic re-use of ontologies: a logic-based methodology and tool support
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Segmenting and Merging Domain-specific Ontology Modules for Clinical Informatics
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)
Logic-based ontology comparison and module extraction, with an application to DL-Lite
Artificial Intelligence
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
Supporting concurrent ontology development: Framework, algorithms and tool
Data & Knowledge Engineering
JustBench: a framework for OWL benchmarking
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
ORE - a tool for repairing and enriching knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
vSPARQL: A view definition language for the semantic web
Journal of Biomedical Informatics
A semantic privacy-preserving model for data sharing and integration
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
From keywords to queries: discovering the user's intended meaning
WISE'10 Proceedings of the 11th international conference on Web information systems engineering
Proceedings of the sixth international conference on Knowledge capture
Topicality in logic-based ontologies
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Decomposition and modular structure of BioPortal ontologies
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
A priori ontology modularisation in ill-defined domains
Proceedings of the 7th International Conference on Semantic Systems
Categorising logical differences between OWL ontologies
Proceedings of the 20th ACM international conference on Information and knowledge management
Building data warehouses with semantic web data
Decision Support Systems
Using ontology modularization for efficient negotiation over ontology correspondences in MAS
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Journal of Biomedical Informatics
KR4HC'09 Proceedings of the 2009 AIME international conference on Knowledge Representation for Health-Care: data, Processes and Guidelines
Assessing the safety of knowledge patterns in OWL ontologies
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
The modular structure of an ontology: atomic decomposition
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Formal specification of ontology networks
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
An information content based partitioning method for the anatomical ontology matching task
Proceedings of the Third Symposium on Information and Communication Technology
Engineering use cases for modular development of ontologies in OWL
Applied Ontology - Modularity in Ontologies
Decentralized semantic threat graphs
DBSec'12 Proceedings of the 26th Annual IFIP WG 11.3 conference on Data and Applications Security and Privacy
Eco-informatics modelling via semantic inference
Information Systems
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
The logical difference for the lightweight description logic EL
Journal of Artificial Intelligence Research
MORe: modular combination of OWL reasoners for ontology classification
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Performance heterogeneity and approximate reasoning in description logic ontologies
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Reasoning over ontologies with hidden content: the import-by-query approach
Journal of Artificial Intelligence Research
A semantic metrics suite for evaluating modular ontologies
Information Systems
Finding EL+ justifications using the earley parsing algorithm
AOW '09 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112
Making the most of your triple store: query answering in OWL 2 using an RL reasoner
Proceedings of the 22nd international conference on World Wide Web
Model-theoretic inseparability and modularity of description logic ontologies
Artificial Intelligence
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Modeling ontology evolution with SetPi
Information Sciences: an International Journal
Efficient, Unified, and Intelligent User Requirement Collection and Analysis in Global Enterprises
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Cross-domain targeted ontology subsets for annotation: The case of SNOMED CORE and RxNorm
Journal of Biomedical Informatics
Hi-index | 0.00 |
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions of conservative extension, safety and module for a very general class of logic-based ontology languages. We investigate the general properties of and relationships between these notions and study the relationships between the relevant reasoning problems we have previously identified. To study the computability of these problems, we consider, in particular, Description Logics (DLs), which provide the formal underpinning of the W3C Web Ontology Language (OWL), and show that all the problems we consider are undecidable or algorithmically unsolvable for the description logic underlying OWL DL. In order to achieve a practical solution, we identify conditions sufficient for an ontology to reuse a set of symbols "safely"--that is, without changing their meaning. We provide the notion of a safety class, which characterizes any sufficient condition for safety, and identify a family of safety classes-called locality--which enjoys a collection of desirable properties. We use the notion of a safety class to extract modules from ontologies, and we provide various modularization algorithms that are appropriate to the properties of the particular safety class in use. Finally, we show practical benefits of our safety checking and module extraction algorithms.