An ILP Perspective on the Semantic Web.
Francesca A. Lisi, Floriana Esposito
Abstract
Francesca A. Lisi, Floriana Esposito
Abstract
Building rules on top of ontologies is the goal of the logical layer of the Semantic Web. The system originally conceived for hybrid Knowledge Representation and Reasoning (KR&R), has been very recently mentioned as the blueprint for well-founded Semantic Web rule mark-up languages. It integrates the description logic and the function-free Horn clausal language Datalog. In this paper we provide a framework for learning Semantic Web rules which adopts Inductive Logic Programming (ILP) as methodological apparatus and as KR&R setting. In this framework inductive hypotheses are represented as constrained Datalog clauses, organized according to the relation, and evaluated against observations by means of coverage relations. The
OpenAlex reports 5 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Building rules on top of ontologies is the goal of the logical layer of the Semantic Web. The system originally conceived for hybrid Knowledge Representation and Reasoning (KR&R), has been very recently mentioned as the blueprint for well-founded Semantic Web rule mark-up languages. It integrates the description logic and the function-free Horn clausal language Datalog. In this paper we provide a framework for learning Semantic Web rules which adopts Inductive Logic Programming (ILP) as methodological apparatus and as KR&R setting. In this framework inductive hypotheses are represented as constrained Datalog clauses, organized according to the relation, and evaluated against observations by means of coverage relations. The
Key concepts: Datalog, Inductive logic programming, Computer science, Programming language, Semantic Web Rule Language, Semantic Web, Knowledge representation and reasoning, Scope (computer science)