2381 search results - page 94 / 477 » On Ordering Descriptions in a Description Logic |
DEXAW
2004
IEEE
15 years 3 months ago
2004
IEEE
In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indetermi...
CADE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
EACL
2003
ACL Anthology
15 years 1 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
APAL
2010
15 years 9 hour ago
2010
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
CADE
2008
Springer
15 years 1 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...