OWL FA: A metamodeling extension of OWL DL

Jeff Z. Pan*, Ian Horrocks

*Corresponding author for this work

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

29 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 languageEnglish
Title of host publicationProceedings of the 15th International Conference on World Wide Web
Pages1065-1066
Number of pages2
DOIs
Publication statusPublished - 1 Dec 2006
Event15th International Conference on World Wide Web - Edinburgh, Scotland, United Kingdom
Duration: 23 May 200626 May 2006

Conference

Conference15th International Conference on World Wide Web
CountryUnited Kingdom
CityEdinburgh, Scotland
Period23/05/0626/05/06

    Fingerprint

Keywords

  • Metamodeling
  • Ontology
  • Reasoning

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software

Cite this

Pan, J. Z., & Horrocks, I. (2006). OWL FA: A metamodeling extension of OWL DL. In Proceedings of the 15th International Conference on World Wide Web (pp. 1065-1066) https://doi.org/10.1145/1135777.1136017