4617 search results - page 225 / 924 » Automation of Diagrammatic Reasoning |
159
click to vote
DLOG
1997
15 years 7 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
170
click to vote
DLOG
2003
15 years 7 months ago
2003
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...
198
click to vote
DLOG
2010
15 years 4 months ago
2010
We describe Orel, a reasoning system for an ontology language which subsumes both the EL and the RL profile of the recently standardised web ontology language OWL 2. Orel performs ...