History Matters: Incremental Ontology Reasoning Using Modules

@inproceedings{Grau2007HistoryMI,
  title={History Matters: Incremental Ontology Reasoning Using Modules},
  author={Bernardo Cuenca Grau and Christian Halaschek-Wiener and Yevgeny Kazakov},
  booktitle={ISWC/ASWC},
  year={2007}
}
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… CONTINUE READING
Highly Cited
This paper has 95 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 56 extracted citations

Exploring Incremental Reasoning Approaches Based on Module Extraction

Liudmila Reyes-Alvarez, Danny Molina-Morales, Yusniel Hidalgo-Delgado, Maŕıa del Mar Roldán-Garćıa, José F. Aldana-Montes
2014
View 7 Excerpts
Highly Influenced

The Logical Difference for Fuzzy Ontologies

2010 10th IEEE International Conference on Computer and Information Technology • 2010
View 3 Excerpts
Highly Influenced

Real-time sensor observation segmentation for complex activity recognition within smart environments

2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) • 2017
View 1 Excerpt

96 Citations

01020'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 96 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 16 references

A Tableaux Decision Procedure for SHOIQ

View 13 Excerpts
Highly Influenced

Non-standard reasoning services for the debugging of description logic terminologies

S. Schlobach, R. Cornet
Proc. of IJCAI, 2003, pp. 355–362. Morgan Kaufmann, San Francisco • 2003
View 1 Excerpt

Nonrecursive incremental evaluation of Datalog queries

Annals of Mathematics and Artificial Intelligence • 1995

Similar Papers

Loading similar papers…