Sciweavers

34 search results - page 4 / 7
» dls 2008
Sort
View
WWW
2008
ACM
15 years 10 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
ECAI
2008
Springer
14 years 11 months ago
Description Logic Rules
Abstract. We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rule...
Markus Krötzsch, Sebastian Rudolph, Pascal Hi...
ECAI
2008
Springer
14 years 11 months ago
Partial and Informative Common Subsumers in Description Logics
Least Common Subsumers in Description Logics have shown their usefulness for discovering commonalities among all concepts of a collection. Several applications are nevertheless foc...
Simona Colucci, Eugenio Di Sciascio, Francesco M. ...
ICRA
2008
IEEE
158views Robotics» more  ICRA 2008»
15 years 3 months ago
Inverse Kinematics without matrix inversion
– This paper presents a new singularity robust and computationally efficient method for solving the inverse kinematics (IK) problem. In this method, the transformation from Carte...
Alexandre N. Pechev
AAAI
2008
14 years 11 months ago
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications, and has thus been studied by many auth...
Magdalena Ortiz, Mantas Simkus, Thomas Eiter