Stage-oe-small.jpg

Techreport3004: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
Zeile 14: Zeile 14:
 
{{Publikation Details
 
{{Publikation Details
 
|Abstract=Constructing ontologies for real-world knowledge-intensive applications is a time-consuming and difficult task. As the amount of available OWL ontologies and their size grow, ontology reuse gains in importance. However, differences in requirements lead to conceptual and logical heterogeneity of semantic resources that model related domains. In this paper, we propose methods to support the verification of conceptual and logical suitability of OWL ontologies. We show that our methods significantly reduce the manual effort measured in number of decisions that have to be made by an ontology engineer.
 
|Abstract=Constructing ontologies for real-world knowledge-intensive applications is a time-consuming and difficult task. As the amount of available OWL ontologies and their size grow, ontology reuse gains in importance. However, differences in requirements lead to conceptual and logical heterogeneity of semantic resources that model related domains. In this paper, we propose methods to support the verification of conceptual and logical suitability of OWL ontologies. We show that our methods significantly reduce the manual effort measured in number of decisions that have to be made by an ontology engineer.
|Download=ECAI-821.pdf,
+
|Download=Tr3004.pdf
 
|Projekt=NanOn
 
|Projekt=NanOn
 
|Forschungsgruppe=Wissensmanagement
 
|Forschungsgruppe=Wissensmanagement
 
}}
 
}}

Version vom 11. Mai 2010, 12:58 Uhr

Semi-Automatic Verification of Ontology Compatibility Supported by Reasoning




Published: 2010 Februar
Type: Research Notes
Institution: Institute AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3004

BibTeX



Kurzfassung
Constructing ontologies for real-world knowledge-intensive applications is a time-consuming and difficult task. As the amount of available OWL ontologies and their size grow, ontology reuse gains in importance. However, differences in requirements lead to conceptual and logical heterogeneity of semantic resources that model related domains. In this paper, we propose methods to support the verification of conceptual and logical suitability of OWL ontologies. We show that our methods significantly reduce the manual effort measured in number of decisions that have to be made by an ontology engineer.

Download: Media:Tr3004.pdf

Projekt

NanOn



Forschungsgruppe

Wissensmanagement


Forschungsgebiet