2302 search results - page 178 / 461 » Basic Description Logics |
158
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
124
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
Pregroups had been conceived as an algebraic tool to recognize grammatically well-formed sentences in natural languages [3]. Here we wish to use pregroups to recognize well-formed...
135
Voted
CAEPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
122
Voted
DOOD
1995
Springer
15 years 8 months ago
1995
Springer
Wrappers provide access to heterogeneous information sources by converting application queries into source speci c queries or commands. In this paper we present a wrapper implemen...
128
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...