2302 search results - page 122 / 461 » Basic Description Logics |
122
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. We show that the description logic SOQ with number restrictions on transitive roles is decidable by a terminating tableau calculus. The language decided by the calculus i...
119
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
157
click to vote
ENTCS
2002
15 years 3 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
122
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
135
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
SDIs offer access to a wealth of distributed data sources through standardised service interfaces. Recently, also geoprocessing capabilities are offered as services in SDIs. Combin...