Sciweavers

95 search results - page 1 / 19
» Reasoning with OWL-DL in Inductive Logic Programming
Sort
View
DLOG
2007
13 years 6 months ago
Exploiting Description Logic Reasoners in Inductive Logic
In spite of the increasing effort spent on building ontologies for the Semantic Web, little attention has been paid to the impact of these ontologies on knowledge-based intelligen...
Francesca A. Lisi
WWW
2005
ACM
14 years 5 months ago
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
Axel Polleres, Dieter Fensel, Jos de Bruijn, Rub&e...
RULEML
2004
Springer
13 years 9 months ago
Semantic Web Reasoning with Conceptual Logic Programs
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
JAPLL
2007
135views more  JAPLL 2007»
13 years 4 months ago
Open answer set programming for the semantic web
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
ILP
2001
Springer
13 years 9 months ago
Induction of Stable Models
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...
Ramón P. Otero