2395 search results - page 45 / 479 » Reasoning in Semantic Wikis |
WWW
2008
ACM
15 years 10 months ago
2008
ACM
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 ...
CADE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
AIED
2007
Springer
15 years 3 months ago
2007
Springer
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
POLICY
2007
Springer
15 years 3 months ago
2007
Springer
