History matters: incremental ontology reasoning using modules

Authors:
Bernardo Cuenca Grau;Christian Halaschek-Wiener;Yevgeny Kazakov
Affiliations:
The University of Manchester, School of Computer Science, Manchester, UK;Department of Computer Science, University of Maryland, College Park, MD;The University of Manchester, School of Computer Science, Manchester, UK
Venue:
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Year:
2007

Citing 13
Cited 15

An assumption-based TMS

Artificial Intelligence
Efficiently updating materialized views

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A truth maintenance system

Readings in nonmonotonic reasoning
Continuous queries over append-only databases

SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Implementation of integrity constraints and views by query modification

SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Incremental Evaluation of Datalog Queries

ICDT '92 Proceedings of the 4th International Conference on Database Theory
Implementation and optimization techniques

The description logic handbook
Debugging OWL ontologies

WWW '05 Proceedings of the 14th international conference on World Wide Web
Just the right amount: extracting modules from ontologies

Proceedings of the 16th international conference on World Wide Web
Toward expressive syndication on the web

Proceedings of the 16th international conference on World Wide Web
Non-standard reasoning services for the debugging of description logic terminologies

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Description logic reasoning with syntactic updates

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I

Syndication on the Web using a description logic approach

Web Semantics: Science, Services and Agents on the World Wide Web
yOWL: An ontology-driven knowledge base for yeast biologists

Journal of Biomedical Informatics
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
Extracting Modules from Ontologies: A Logic-Based Approach

Modular Ontologies
Who the Heck Is the Father of Bob?

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
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
Stream Reasoning: A Survey and Further Research Directions

FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Goal-Directed Module Extraction for Explaining OWL DL Entailments

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Incremental Classification of Description Logics Ontologies

Journal of Automated Reasoning
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)
Parallel TBox Classification in Description Logics --First Experimental Results

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Supporting concurrent ontology development: Framework, algorithms and tool

Data & Knowledge Engineering
SensorStream: a semantic real-time stream management system

International Journal of Ad Hoc and Ubiquitous Computing
Extracting justifications from bioportal ontologies

ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Semantic query answering in digital repositories: Semantic Search v2 for DSpace

International Journal of Metadata, Semantics and Ontologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

The development of ontologies involves continuous but relatively small modifications. Existing ontology reasoners, however, do not take advantage of the similarities between different versions of an ontology. In this paper, we propose a technique for incremental reasoning--that is, reasoning that reuses information obtained from previous versions of an ontology--based on the notion of a module. Our technique does not depend on a particular reasoning calculus and thus can be used in combination with any reasoner. We have applied our results to incremental classification of OWL DL ontologies and found significant improvement over regular classification time on a set of real-world ontologies.