A Flexible Ontology Reasoning Architecture for the Semantic Web

Research output: Contribution to journalArticle

53 Citations (Scopus)

Abstract

Knowledge-based systems in the Semantic Web era can make use of the power of the Semantic Web languages and technologies, in particular those related to ontologies. Recent research has shown that user-defined data types are very useful for Semantic Web and ontology applications. The W3C Semantic Web Best Practices and Development Working Group has set up a task force to address this issue. Very recently, OWL-Eu and OWL-E, two decidable extensions of the W3C standard ontology language OWL DL, have been proposed to support customized data types and customized data type predicates, respectively. In this paper, we propose a flexible reasoning architecture for these two expressive Semantic Web ontology languages and describe our prototype implementation of the reasoning architecture, based on the well-known FaCT DL reasoner, which witnesses the two key flexibility features of our proposed architecture: 1) It allows users to define their own data types and data type predicates based on built-in ones and 2) new data type reasoners can be added into the architecture without having to change the concept reasoner.

Original languageEnglish
Pages (from-to)246-260
Number of pages15
JournalIEEE Transactions on Knowledge and Data Engineering
Volume19
Issue number2
DOIs
Publication statusPublished - Feb 2007

Keywords

  • knowledge representation
  • ontology
  • user-defined data types and data type predicates
  • reasoning architecture

Cite this

A Flexible Ontology Reasoning Architecture for the Semantic Web. / Pan, Jeff Z.

In: IEEE Transactions on Knowledge and Data Engineering, Vol. 19, No. 2, 02.2007, p. 246-260.

Research output: Contribution to journalArticle

@article{9ceba4bea08342b2a9255f054c70e568,
title = "A Flexible Ontology Reasoning Architecture for the Semantic Web",
abstract = "Knowledge-based systems in the Semantic Web era can make use of the power of the Semantic Web languages and technologies, in particular those related to ontologies. Recent research has shown that user-defined data types are very useful for Semantic Web and ontology applications. The W3C Semantic Web Best Practices and Development Working Group has set up a task force to address this issue. Very recently, OWL-Eu and OWL-E, two decidable extensions of the W3C standard ontology language OWL DL, have been proposed to support customized data types and customized data type predicates, respectively. In this paper, we propose a flexible reasoning architecture for these two expressive Semantic Web ontology languages and describe our prototype implementation of the reasoning architecture, based on the well-known FaCT DL reasoner, which witnesses the two key flexibility features of our proposed architecture: 1) It allows users to define their own data types and data type predicates based on built-in ones and 2) new data type reasoners can be added into the architecture without having to change the concept reasoner.",
keywords = "knowledge representation, ontology, user-defined data types and data type predicates, reasoning architecture",
author = "Pan, {Jeff Z.}",
year = "2007",
month = "2",
doi = "10.1109/TKDE.2007.17",
language = "English",
volume = "19",
pages = "246--260",
journal = "IEEE Transactions on Knowledge and Data Engineering",
issn = "1041-4347",
publisher = "IEEE COMPUTER SOC",
number = "2",

}

TY - JOUR

T1 - A Flexible Ontology Reasoning Architecture for the Semantic Web

AU - Pan, Jeff Z.

PY - 2007/2

Y1 - 2007/2

N2 - Knowledge-based systems in the Semantic Web era can make use of the power of the Semantic Web languages and technologies, in particular those related to ontologies. Recent research has shown that user-defined data types are very useful for Semantic Web and ontology applications. The W3C Semantic Web Best Practices and Development Working Group has set up a task force to address this issue. Very recently, OWL-Eu and OWL-E, two decidable extensions of the W3C standard ontology language OWL DL, have been proposed to support customized data types and customized data type predicates, respectively. In this paper, we propose a flexible reasoning architecture for these two expressive Semantic Web ontology languages and describe our prototype implementation of the reasoning architecture, based on the well-known FaCT DL reasoner, which witnesses the two key flexibility features of our proposed architecture: 1) It allows users to define their own data types and data type predicates based on built-in ones and 2) new data type reasoners can be added into the architecture without having to change the concept reasoner.

AB - Knowledge-based systems in the Semantic Web era can make use of the power of the Semantic Web languages and technologies, in particular those related to ontologies. Recent research has shown that user-defined data types are very useful for Semantic Web and ontology applications. The W3C Semantic Web Best Practices and Development Working Group has set up a task force to address this issue. Very recently, OWL-Eu and OWL-E, two decidable extensions of the W3C standard ontology language OWL DL, have been proposed to support customized data types and customized data type predicates, respectively. In this paper, we propose a flexible reasoning architecture for these two expressive Semantic Web ontology languages and describe our prototype implementation of the reasoning architecture, based on the well-known FaCT DL reasoner, which witnesses the two key flexibility features of our proposed architecture: 1) It allows users to define their own data types and data type predicates based on built-in ones and 2) new data type reasoners can be added into the architecture without having to change the concept reasoner.

KW - knowledge representation

KW - ontology

KW - user-defined data types and data type predicates

KW - reasoning architecture

U2 - 10.1109/TKDE.2007.17

DO - 10.1109/TKDE.2007.17

M3 - Article

VL - 19

SP - 246

EP - 260

JO - IEEE Transactions on Knowledge and Data Engineering

JF - IEEE Transactions on Knowledge and Data Engineering

SN - 1041-4347

IS - 2

ER -