A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web

Pothipruk, Pakornpong and Governatori, Guido (2005). A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. In: A. H. H. Ngu, M. Kitsuregawa, E. J. Neuhold, J. Y. Chung and Q. Z. Sheng, Proceedings of the 6th International Conference on Web Information Systems Engineering - WISE 2005. 6th International Conference on Web Information Systems Engineering - WISE 2005, New York, NY, USA, (119-132). 20-22 November 2005.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
wise05.pdf wise05.pdf application/pdf 148.99KB 1021

Author Pothipruk, Pakornpong
Governatori, Guido
Title of paper A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
Conference name 6th International Conference on Web Information Systems Engineering - WISE 2005
Conference location New York, NY, USA
Conference dates 20-22 November 2005
Proceedings title Proceedings of the 6th International Conference on Web Information Systems Engineering - WISE 2005   Check publisher's open access policy
Place of Publication Berlin
Publisher Springer
Publication Year 2005
Sub-type Fully published paper
DOI 10.1007/11581062_10
ISBN 3-540-30017-1
ISSN 0302-9743
Editor A. H. H. Ngu
M. Kitsuregawa
E. J. Neuhold
J. Y. Chung
Q. Z. Sheng
Volume 3806
Start page 119
End page 132
Total pages 14
Collection year 2005
Language eng
Abstract/Summary Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family of web ontology languages based on description logic, has been proposed for the Semantic Web. Answering a query over the Semantic Web is thus not trivial, but a deductive process. However, the reasoning on OWL with data has an efficiency problem. Thus, we introduce optimization techniques for the inference algorithm. This work demonstrates the techniques for instance checking and instance retrieval problems with respect to ALC description logic which covers certain parts of OWL.
Subjects 280103 Information Storage, Retrieval and Management
280111 Conceptual Modelling
280213 Other Artificial Intelligence
280000 Information, Computing and Communication Sciences
E1
280200 Artificial Intelligence and Signal and Image Processing
700100 Computer Software and Services
Keyword semantic web
formal ontology
description logic
query optimisation
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ
Additional Notes Copyright 2005 Springer. The original publication is available at www.springerlink.com

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Access Statistics: 310 Abstract Views, 1028 File Downloads  -  Detailed Statistics
Created: Tue, 25 Oct 2005, 10:00:00 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering