OWL FA: A metamodeling extension of OWL DL

Jeff Z. Pan; Ian Horrocks

doi:10.1145/1135777.1136017

OWL FA: A metamodeling extension of OWL DL

Jeff Z. Pan^*, Ian Horrocks

^*Corresponding author for this work

Computing Science

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

33 Citations (Scopus)

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
Pages	1065-1066
Number of pages	2
DOIs	https://doi.org/10.1145/1135777.1136017
Publication status	Published - 1 Dec 2006
Event	15th International Conference on World Wide Web - Edinburgh, Scotland, United Kingdom Duration: 23 May 2006 → 26 May 2006

Conference

Conference	15th International Conference on World Wide Web
Country/Territory	United Kingdom
City	Edinburgh, Scotland
Period	23/05/06 → 26/05/06

Keywords

Metamodeling
Ontology
Reasoning

Access to Document

10.1145/1135777.1136017

Cite this

@inproceedings{8376696c06f345f0a28fcff3b7eb50aa,

title = "OWL FA: A metamodeling extension of OWL DL",

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 = dec,

day = "1",

doi = "10.1145/1135777.1136017",

language = "English",

isbn = "1595933239",

pages = "1065--1066",

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

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

}

TY - GEN

T1 - OWL FA

T2 - 15th International Conference on World Wide Web

AU - Pan, Jeff Z.

AU - Horrocks, Ian

PY - 2006/12/1

Y1 - 2006/12/1

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

UR - http://www.scopus.com/inward/record.url?scp=34250689147&partnerID=8YFLogxK

U2 - 10.1145/1135777.1136017

DO - 10.1145/1135777.1136017

M3 - Published conference contribution

AN - SCOPUS:34250689147

SN - 1595933239

SN - 9781595933232

SP - 1065

EP - 1066

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

Y2 - 23 May 2006 through 26 May 2006

ER -

OWL FA: A metamodeling extension of OWL DL

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this