2414 search results - page 410 / 483 » Reasoning Support for OWL-E |
193
click to vote
IJCAI
2003
15 years 8 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
138
click to vote
COLING
2000
15 years 8 months ago
2000
We propose a treatment of `extraposition' which allows items to be assimilated directly even when they appear far from their canonical positions. This treatment supports anal...
158
click to vote
AAAI
1994
15 years 8 months ago
1994
d Abstract) Goran Gogic l, Christos H. Papadimitriou', and Martha Sideri2 : Approximating a general formula from above and below by Horn formulas (its Horn envelope and Horn c...
175
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Recent studies have shown that the current primitives for connecting multiple routing protocol instances (OSPF 1, OSPF 2, EIGRP 10, etc.) are pervasively deployed in enterprise ne...
182
click to vote
AAI
2010
15 years 7 months ago
2010
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...