3776 search results - page 394 / 756 » Partition-Based Logical Reasoning |
138
Voted
DLOG
2007
15 years 7 months ago
2007
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...
140
click to vote
CAISE
2008
Springer
15 years 7 months ago
2008
Springer
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
131
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...
124
Voted
DLOG
2004
15 years 6 months ago
2004
This paper proposes constructs that can be used to declaratively specify the disjoint nature of object properties or roles. These constructs may be a useful extension to the Descr...
143
click to vote
DLOG
2003
15 years 6 months ago
2003
Transitive roles are important for adequate representation of knowledge in a range of applications. In this paper we present a first algorithm to compute least common subsumers i...