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...

Полное описание

Библиографические подробности
Главные авторы: Motik, B, Horrocks, I, Rosati, R, Sattler, U
Другие авторы: Cruz, I
Формат: Journal article
Опубликовано: Springer 2006