E-resources
Peer reviewed
-
Wu, Jiewen; Hudek, Alexander; Toman, David; Weddell, Grant
Journal of automated reasoning, 10/2014, Volume: 53, Issue: 3Journal Article
We consider the instance checking problem over S ℋ I Q ( D ) knowledge bases, that is, the problem of determining if the class membership of a given object is logically implied by a knowledge base expressed in terms of the description logic (DL) dialect S ℋ I Q ( D ) . Such problems are inevitable in conjunctive query evaluation over such knowledge bases, or indeed for any knowledge bases that rely on an ability to capture disjunction and/or negation in an underlying DL. This includes the problem of evaluating basic graph patterns occurring in SPARQL queries over RDF graphs with the so-called OWL 2 direct semantics entailment regime, that is, where the RDF graph is an OWL 2 ontology. Our main result is a novel method for such problems that derives from an adaptation of binary absorption. We show that the method works particularly well for knowledge bases that have a very large collection of factual assertions about individual objects.
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
If the library membership card is not in the list,
add a new one.
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|
Source: Personal bibliographies
and: SICRIS
The material is available in full text. If you wish to order the material anyway, click the Continue button.