2381 search results - page 175 / 477 » On Ordering Descriptions in a Description Logic |
107
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
106
click to vote
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
118
click to vote
DLOG
2003
15 years 3 months ago
2003
The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...
134
click to vote
KR
2000
Springer
15 years 5 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
112
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
We argue that in a distributed context, such as the Semantic Web, ontology engineers and data creators often cannot control (or even imagine) the possible uses their data or ontolo...