4617 search results - page 310 / 924 » Automation of Diagrammatic Reasoning |
149
click to vote
DLOG
2004
15 years 8 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...
180
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
178
click to vote
DLOG
2003
15 years 8 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...
185
click to vote
DLOG
2003
15 years 8 months ago
2003
Ontologies are more than an elaborate approach to the definition and classification of information. They play a vital role in various web-oriented applications that makes a corr...
175
click to vote
DLOG
2003
15 years 8 months ago
2003
We propose a method to compare semantically two natural language texts. The process is realized in two steps, the first translates the texts into description logics terminologies...