OWL FA: a metamodeling extension of OWL D

  • Authors:
  • Jeff Z. Pan;Ian Horrocks

  • Affiliations:
  • University of Aberdeen, UK;University of Manchester, UK

  • Venue:
  • Proceedings of the 15th international conference on World Wide Web
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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.