2010
DOI: 10.1007/978-3-642-11503-5_4
View full text |Buy / Rent full text
|
Sign up to set email alerts
|

Abstract: Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non-monotonic, closed-world reasoning. One exception is the tightly-coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from an ontology and inferences from rules. Nonetheless, the practical usefulness of MKNF has not always been c… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
8
0

Year Published

2011
2011
2018
2018

Publication Types

Select...
2
1

Relationship

1
2

Authors

Journals

citations
Cited by 13 publications
(8 citation statements)
references
References 10 publications
(8 reference statements)
0
8
0
Order By: Relevance
“…This procedure, which takes an oracle capable of answering queries in the underlying description logic as a parameter, is able to answer DL-safe conjunctive queries (i.e., conjunctive predicates with variables, where queries have to be ground when processed in the ontology) returning all correct answer substitutions for variables in the query. An implementation of this procedure, that is based on XSB Prolog 19 for the tabling resolution, is already part of the CVS version of XSB Prolog, and the description of this implementation can be found at [20].…”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…This procedure, which takes an oracle capable of answering queries in the underlying description logic as a parameter, is able to answer DL-safe conjunctive queries (i.e., conjunctive predicates with variables, where queries have to be ground when processed in the ontology) returning all correct answer substitutions for variables in the query. An implementation of this procedure, that is based on XSB Prolog 19 for the tabling resolution, is already part of the CVS version of XSB Prolog, and the description of this implementation can be found at [20].…”
Section: Discussionmentioning
confidence: 99%
“…Note that this is different from recommending CDs that have a discount. The ontology axiom (20) states that any expensive CD must never be recommended. In general, comparing prices requires some predicates from the numerical domain, such as concrete domains for the DL EL ++ [2].…”
Section: Cd(tothesea)mentioning
confidence: 99%
“…There are several relevant approaches discussed in the literature. Most closely related are probably [16,21], because both build on the well-founded MKNF semantics [20]. In fact, [16] is maybe closest in spirit to the original idea of SLG(O) oracles presented in [1].…”
Section: Discussionmentioning
confidence: 99%
“…Most closely related are probably [16,21], because both build on the well-founded MKNF semantics [20]. In fact, [16] is maybe closest in spirit to the original idea of SLG(O) oracles presented in [1]. It utilizes the CDF framework already integrated in XSB, but its non-standard language is a drawback if we want to achieve compatibility with standard OWL tools based on the OWL API.…”
Section: Discussionmentioning
confidence: 99%
“…Ontology management-Coherent definition framework (CDF). CDF is a system for ontology management that has been used in numerous commercial projects [GAS10], for organizing information about, e.g., aircraft parts, medical supplies, commercial processes, and materials. It was originally developed by XSB, Inc. An example fact is as follows, indicating that specification 'A-A-1035' in ontology specs has attribute 'MATERIAL' whose value is 'ALUMINUM ALLOY UNS A91035' in material_taxonomy.…”
Section: Applications Of Join Queriesmentioning
confidence: 99%