A combined approach to checking web ontologies

Dong, J S, Lee, C H, Lee, H B and Li, Y-F (2004). A combined approach to checking web ontologies. In: , Proceedings of: 13th ACM International World Wide Web Conference (WWW'04). 13th ACM International World Wide Web Conference (WWW'04), New York, U.S.A., (714-722). 17-20 May 2004.

Author Dong, J S
Lee, C H
Lee, H B
Li, Y-F
Title of paper A combined approach to checking web ontologies
Conference Paper Type Fully Published Paper
Conference name 13th ACM International World Wide Web Conference (WWW'04)    (ERA 2010 Rank A)
Conference location New York, U.S.A.
Conference dates 17-20 May 2004
Proceedings title Proceedings of: 13th ACM International World Wide Web Conference (WWW'04)
Place published New York
Publisher ACM Press
Publication date 2004
ISBN 1-58113-912-8
Start page 714
End page 722
Total pages 9
Language eng
Abstract/Summary The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reasoners such as RACER and FaCT have been developed to reason ontologies with a high degree of automation. However, complex ontology-related properties may not be expressible within the current web ontology languages, consequently they may not be checkable by RACER and FaCT. We propose to use the software engineering techniques and tools, i.e., Z/EVES and Alloy Analyzer, to complement the ontology tools for checking Semantic Web documents. In this approach, Z/EVES is first applied to remove trivial syntax and type errors of the ontologies. Next, RACER is used to identify any ontological inconsistencies, whose origins can be traced by Alloy Analyzer. Finally Z/EVES is used again to express complex ontology-related properties and reveal errors beyond the modeling capabilities of the current web ontology languages. We have successfully applied this approach to checking a set of military plan ontologies
Subjects 080309 Software Engineering
080505 Web Technologies (excl. Web Search)
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Access Statistics: 45 Abstract Views  -  Detailed Statistics
Created: Tue, 27 Jan 2009, 11:41:37 EST by Maryanne Watson on behalf of Faculty Of Engineering, Architecture & Info Tech