OWL FA: A Metamodeling Extension of OWL D

Jeff Z. Pan, Ian Horrocks

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationProceedings of the 15th International Conference on World Wide Web
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery, Inc
Pages1065–1066
Number of pages2
ISBN (Print)978-1-59593-323-2, 1595933239
DOIs
Publication statusPublished - 23 May 2006
EventThe 15th International World Wide Web Conference - Edinburgh, United Kingdom
Duration: 23 May 200626 May 2006
Conference number: 15
https://www2006.thewebconf.org/index.html

Publication series

NameWWW '06
PublisherAssociation for Computing Machinery

Conference

ConferenceThe 15th International World Wide Web Conference
Abbreviated titleWWW 2006
Country/TerritoryUnited Kingdom
CityEdinburgh
Period23/05/0626/05/06
Internet address

Keywords

  • metamodeling
  • ontology
  • reasoning

Cite this