Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/eswc2009/paper/151> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 151 creator joost-vennekens.
- 151 creator marc-denecker.
- 151 type InProceedings.
- 151 label "FO(ID) as an extension of DL with rules".
- 151 sameAs 151.
- 151 abstract "There are many interesting Knowledge Representation questions surrounding rule languages for the Semantic Web. The most basic one is of course: which kind of rules should be used and how do they integrate with existing Description Logics? Similar questions have already been adressed in the field of Logic Programming, where one particular answer has been provided by the language of FO(ID). FO(ID) is an extension of classical first-order logic with a rule-based representation for inductive defintions. By offering a general integration of first-order logic and Logic Programs, it also induces a particular way of extending Description Logics with rules. The goal of this paper is to investigate this integration and discover whether there are interesting extensions of DL with rules that can be arrived at by imposing appropriate restrictions on the highly expressive FO(ID).".
- 151 hasAuthorList authorList.
- 151 hasTopic Formal_languages.
- 151 hasTopic Inference.
- 151 hasTopic Logic.
- 151 hasTopic Rule_of_inference.
- 151 hasTopic Semantic_Web.
- 151 isPartOf proceedings.
- 151 keyword "Knowledge representation".
- 151 keyword "Logic programming".
- 151 keyword "Rule languages".
- 151 title "FO(ID) as an extension of DL with rules".