Zusammenfassung: |
The ontology web language OWL has been established as a standardized representation for knowledge, especially in the context of the semantic web. An important facet of the management of such knowledge bases consists in its evaluation. Besides standard evaluation methods described in the literature particular applications can require to consider further measures. In this paper, we use a declarative, logic-based XML query and transformation language called FNQuery, which is suitable for flexibly defining queries for evaluating OWL-based knowledge. The queries are evaluated using logic programming and nonmonotonic reasoning systems. The presented approach could be extended to handle complex refactorings as well. |