Sciweavers

1285 search results - page 77 / 257
» Description Logic Reasoner: System Description
Sort
View
128
Voted
KI
2008
Springer
15 years 6 months ago
Fusing DL Reasoning with HTN Planning
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...
Ronny Hartanto, Joachim Hertzberg
COOPIS
2002
IEEE
15 years 11 months ago
Extending Datatype Support in Web Ontology Reasoning
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
Jeff Z. Pan, Ian Horrocks
235
Voted
DLOG
2011
14 years 9 months ago
On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling
Abstract. For a number of problems, such as ontology learning or image labeling, we need to handle uncertainty and inconsistencies in an appropriate way. Fuzzy and Probabilistic De...
Stefan Scheglmann, Carsten Saathoff, Steffen Staab
LREC
2008
133views Education» more  LREC 2008»
15 years 7 months ago
Acquiring Naturalistic Concept Descriptions from the Web
Many of the beliefs that one uses to reason about everyday entities and events are neither strictly true or even logically consistent. Rather, people appear to rely on a large bod...
Tony Veale, Yanfen Hao
CONTEXT
2007
Springer
16 years 9 days ago
Ontologies as Contexts for Constraint-based Reasoning
We give a brief description of a system we are currently building that fulfils the promise of our title. This description also indicates why we are interested in the topic of cont...
Richard J. Wallace, Tomas Eric Nordlander, Ioannis...