1966 search results - page 142 / 394 » Description Logics and Planning |
150
click to vote
DLOG
2007
15 years 8 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...
147
click to vote
DLOG
2001
15 years 7 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...
147
click to vote
JAR
2007
15 years 6 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...
196
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Computerized clinical guidelines can provide significant benefits to health outcomes and costs, however, their effective implementation presents significant problems. Vagueness an...
151
click to vote
SEMWEB
2001
Springer
15 years 10 months ago
2001
Springer
One vision of the “Semantic Web” of the future is that software agents will interact with each other using formal metadata that reveal their interfaces. We examine one plausibl...