2414 search results - page 128 / 483 » Reasoning Support for OWL-E |
156
click to vote
FLAIRS
2003
15 years 7 months ago
2003
Geo-referenced information is used by a growing number of “spatially-aware” tools in different application areas, including tourism, marketing, environmental management, and m...
237
click to vote
KRDB
2003
15 years 7 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
154
click to vote
DLOG
1997
15 years 7 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
163
click to vote
AAAI
1994
15 years 7 months ago
1994
Case-based reasoning (CBR) has a great deal to o er in supporting creative design, particularly processes that rely heavily on previous design experience, such as framing the prob...
179
click to vote
ENTCS
2007
15 years 5 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...