Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2009/paper/research/152> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 152 creator ken-kaneiwa.
- 152 creator philip-nguyen.
- 152 type InProceedings.
- 152 label "Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring".
- 152 sameAs 152.
- 152 abstract "This paper presents a decidable fragment for combining ontologies andrules in order-sorted logic programming. We describe order-sortedlogic programming with sort, predicate, and meta-predicate hierarchiesfor deriving predicate and meta-predicate assertions. Meta-levelpredicates (predicates of predicates) are useful for representingrelationships between predicate formulas, and further, theyconceptually yield a hierarchy similar to the hierarchies of sorts andpredicates. By extending the order-sorted Horn-clause calculus, wedevelop a query-answering system that can answer queries such as atomsand meta-atoms generalized by containing predicate variables. We showthat the expressive query-answering system computes every generalizedquery in single exponential time, i.e., the complexity of our querysystem is equal to that of DATALOG.".
- 152 hasAuthorList authorList.
- 152 hasTopic Semantic_Web.
- 152 isPartOf proceedings.
- 152 title "Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring".