OWL FA: A Metamodeling Extension of OWL D

Jeff Z. Pan; Ian Horrocks

doi:10.1145/1135777.1136017

OWL FA: A Metamodeling Extension of OWL D

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper proposes OWL FA, a decidable extension of OWL DL with the metamodeling architecture of RDFS(FA). It shows that the knowledge base satisfiability problem of OWL FA can be reduced to that of OWL DL, and compares the FA semantics with the recently proposed contextual semantics and Hilog semantics for OWL.

Original language	English
Title of host publication	Proceedings of the 15th International Conference on World Wide Web
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery, Inc
Pages	1065–1066
Number of pages	2
ISBN (Print)	978-1-59593-323-2, 1595933239
DOIs	https://doi.org/10.1145/1135777.1136017
Publication status	Published - 23 May 2006
Event	The 15th International World Wide Web Conference - Edinburgh, United Kingdom Duration: 23 May 2006 → 26 May 2006 Conference number: 15 https://www2006.thewebconf.org/index.html

Publication series

Name	WWW '06
Publisher	Association for Computing Machinery

Conference

Conference	The 15th International World Wide Web Conference
Abbreviated title	WWW 2006
Country/Territory	United Kingdom
City	Edinburgh
Period	23/05/06 → 26/05/06
Internet address	https://www2006.thewebconf.org/index.html

Keywords

metamodeling
ontology
reasoning

Access to Document

10.1145/1135777.1136017Licence: All Rights Reserved

https://dl.acm.org/doi/abs/10.1145/1135777.1136017Licence: All Rights Reserved

Cite this

@inproceedings{4af49a8d91104222a42aa36f9b5b3a35,

title = "OWL FA: A Metamodeling Extension of OWL D",

abstract = "This paper proposes OWL FA, a decidable extension of OWL DL with the metamodeling architecture of RDFS(FA). It shows that the knowledge base satisfiability problem of OWL FA can be reduced to that of OWL DL, and compares the FA semantics with the recently proposed contextual semantics and Hilog semantics for OWL.",

keywords = "metamodeling, ontology, reasoning",

author = "Pan, {Jeff Z.} and Ian Horrocks",

year = "2006",

month = may,

day = "23",

doi = "10.1145/1135777.1136017",

language = "English",

isbn = "978-1-59593-323-2",

series = "WWW '06",

publisher = "Association for Computing Machinery, Inc",

pages = "1065–1066",

booktitle = "Proceedings of the 15th International Conference on World Wide Web",

note = "The 15th International World Wide Web Conference, WWW 2006 ; Conference date: 23-05-2006 Through 26-05-2006",

url = "https://www2006.thewebconf.org/index.html",

}

TY - GEN

T1 - OWL FA: A Metamodeling Extension of OWL D

AU - Pan, Jeff Z.

AU - Horrocks, Ian

N1 - Conference code: 15

PY - 2006/5/23

Y1 - 2006/5/23

N2 - This paper proposes OWL FA, a decidable extension of OWL DL with the metamodeling architecture of RDFS(FA). It shows that the knowledge base satisfiability problem of OWL FA can be reduced to that of OWL DL, and compares the FA semantics with the recently proposed contextual semantics and Hilog semantics for OWL.

AB - This paper proposes OWL FA, a decidable extension of OWL DL with the metamodeling architecture of RDFS(FA). It shows that the knowledge base satisfiability problem of OWL FA can be reduced to that of OWL DL, and compares the FA semantics with the recently proposed contextual semantics and Hilog semantics for OWL.

KW - metamodeling

KW - ontology

KW - reasoning

U2 - 10.1145/1135777.1136017

DO - 10.1145/1135777.1136017

M3 - Conference contribution

SN - 978-1-59593-323-2

SN - 1595933239

T3 - WWW '06

SP - 1065

EP - 1066

BT - Proceedings of the 15th International Conference on World Wide Web

PB - Association for Computing Machinery, Inc

CY - New York, NY, USA

T2 - The 15th International World Wide Web Conference

Y2 - 23 May 2006 through 26 May 2006

ER -