Can OWL and Logic Programming Live Together Happily Ever After?

Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the open-world semantics of OWL seems to be fundamentally incompatible with the closed-wo...

Descrición completa

Detalles Bibliográficos
Main Authors: Motik, B, Horrocks, I, Rosati, R, Sattler, U
Outros autores: Cruz, I
Formato: Journal article
Publicado: Springer 2006