1435 search results - page 81 / 287 » E-connections of Description Logics |
ICWE
2004
Springer
15 years 6 months ago
2004
Springer
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
DLOG
2007
15 years 3 months ago
2007
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...
DLOG
2001
15 years 2 months ago
2001
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...
JAR
2007
15 years 1 months ago
2007
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be...
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
