OWL FA: A Metamodeling Extension of OWL D

Jeff Z. Pan, Ian Horrocks

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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
Number of pages2
ISBN (Print)978-1-59593-323-2, 1595933239
Publication statusPublished - 23 May 2006
EventThe 15th International World Wide Web Conference - Edinburgh, United Kingdom
Duration: 23 May 200626 May 2006
Conference number: 15

Publication series

NameWWW '06
PublisherAssociation for Computing Machinery


ConferenceThe 15th International World Wide Web Conference
Abbreviated titleWWW 2006
Country/TerritoryUnited Kingdom
Internet address


  • metamodeling
  • ontology
  • reasoning

Cite this