3773 search results - page 388 / 755 » Logical Reasoning |
206
click to vote
LPAR
2007
Springer
16 years 27 days ago
2007
Springer
We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability...
187
click to vote
OTM
2007
Springer
16 years 27 days ago
2007
Springer
The problem of inconsistency handling in ontologies has recently been attracting a lot of attention. When inconsistency occurs in an ontology, there are mainly two ways to deal wit...
189
click to vote
SEMWEB
2007
Springer
16 years 27 days ago
2007
Springer
Ontologies play a core role in the success of the Semantic Web as they provide a shared vocabulary for different resources and applications. Developing an error-free ontology is a...
148
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of s...
165
click to vote
FSTTCS
2004
Springer
16 years 5 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...