Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2008/paper/research/270> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 270 creator guilin-qi.
- 270 creator jeff-z-pan.
- 270 creator johanna-voelker.
- 270 creator peter-haase.
- 270 creator qiu-ji.
- 270 creator zhisheng-huang.
- 270 type InProceedings.
- 270 label "A Kernel Revision Operator for Terminologies - Algorithms and Evaluations".
- 270 sameAs 270.
- 270 abstract "In this paper, we propose a general operator for revising terminologies in description logic-based ontologies. Our revision operator is based on a reformulation of the kernel contraction operator in belief revision. We first define our revision operator for terminologies in terms of MIPS (minimal incoherence-preserving sub-terminologies), and we show that it satisfies some desirable logical properties. Second, two algorithms are developed to instantiate the revision operator. Since these two algorithms are computationally too hard in general, we propose a third algorithm as a more efficient alternative. We implement the algorithms and provide evaluation results on their efficiency and effectiveness.".
- 270 hasAuthorList authorList.
- 270 hasTopic Semantic_Web.
- 270 isPartOf proceedings.
- 270 keyword "belief revision".
- 270 keyword "diagnosis".
- 270 keyword "ontology evolution".
- 270 title "A Kernel Revision Operator for Terminologies - Algorithms and Evaluations".