665 search results - page 54 / 133 » A proposal for an owl rules language |
144
click to vote
CONTEXT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
198
click to vote
IV
2009
IEEE
16 years 24 days ago
2009
IEEE
This paper aims to propose solutions to the issue of ontology visualization, by presenting intuitive and userfriendly ontology editing and visualization environments mainly orient...
147
click to vote
AINA
2007
IEEE
16 years 15 days ago
2007
IEEE
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
180
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
197
click to vote
I3E
2004
15 years 7 months ago
2004
: The notion of service is closely coupled with the notion of process in general and of workflow in particular. Processes capture the coordination logic for the various resources i...