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.
|Title of host publication||Proceedings of the 15th International Conference on World Wide Web|
|Number of pages||2|
|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||15th International Conference on World Wide Web|
|Period||23/05/06 → 26/05/06|