Sciweavers

674 search results - page 15 / 135
» Numeric reasoning in the Semantic Web
Sort
View
80
Voted
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
ATAL
2003
Springer
15 years 2 months ago
Towards practical reasoning agents for the semantic web
Ian Dickinson, Michael Wooldridge