Sciweavers

118 search results - page 12 / 24
» Action Hierarchies in Description Logics
Sort
View
ISMIS
2003
Springer
14 years 24 days ago
A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
Christel Kemke
JAIR
2010
145views more  JAIR 2010»
13 years 6 months ago
On Action Theory Change
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
Ivan José Varzinczak
KI
2008
Springer
13 years 7 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
WWW
2008
ACM
14 years 8 months ago
A logical framework for modeling and reasoning about semantic web services contract
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
Hai Liu, Qing Li, Naijie Gu, An Liu
PSSS
2003
13 years 9 months ago
DLDB: Extending Relational Databases to Support Semantic Web Queries
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
Zhengxiang Pan, Jeff Heflin