3776 search results - page 376 / 756 » Partition-Based Logical Reasoning |
127
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
170
Voted
LPAR
2007
Springer
15 years 11 months 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...
155
Voted
OTM
2007
Springer
15 years 11 months 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...
134
Voted
PRIMA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rule...
149
click to vote
SEMWEB
2007
Springer
15 years 11 months 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...