A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming
2008
Theory and Practice of Logic Programming
AbstractBuilding rules on top of ontologies is the ultimate goal of the logical layer of the Semantic Web. To this aim, an ad-hoc markup language for this layer is currently under discussion. It is intended to follow the tradition of hybrid knowledge representation and reasoning systems, such as$\mathcal{AL}$-log that integrates the description logic$\mathcal{ALC}$and the function-free Horn clausal languageDatalog. In this paper, we consider the problem of automating the acquisition of these
doi:10.1017/s1471068407003195
fatcat:2ncsy2pl35holhip7j5xdtgcam