Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2007+aswc2007/tracks/research/papers/183> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- 183 creator bernardo-cuenca-grau.
- 183 creator christian-halaschek-wiener.
- 183 creator yevgeny-kazakov.
- 183 type InProceedings.
- 183 label "History Matters: Incremental Ontology Reasoning Using Modules".
- 183 sameAs 183.
- 183 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.".
- 183 hasAuthorList authorList.
- 183 hasTopic Formal_language.
- 183 hasTopic Ontology_%28computer_science%29.
- 183 hasTopic Reasoning.
- 183 hasTopic Semantic_Web.
- 183 hasTopic Software_agent.
- 183 hasTopic Web_service.
- 183 isPartOf proceedings.
- 183 title "History Matters: Incremental Ontology Reasoning Using Modules".