Sciweavers

4335 search results - page 360 / 867
» Ontology Engineering Relationally
Sort
View
WWW
2005
ACM
16 years 8 months ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
WECWIS
2008
IEEE
121views ECommerce» more  WECWIS 2008»
16 years 2 months ago
Semantic Web Service Composition for Service-Oriented Architectures
Semantic web service composition is about finding services from a repository that are able to accomplish a specified task. The task is defined in a form of a composition reques...
Thomas Weise, Steffen Bleul, Marc Kirchhoff, Kurt ...
IAT
2007
IEEE
16 years 1 months ago
Training Intelligent Agents in the Semantic Web Era: The Golf Advisor Agent
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
Ioannis N. Athanasiadis
MATES
2007
Springer
16 years 1 months ago
SmartResource Platform and Semantic Agent Programming Language (S-APL)
Although the flexibility of agent interactions has many advantages when it comes to engineering a complex system, the downside is that it leads to certain unpredictability of the ...
Artem Katasonov, Vagan Y. Terziyan
SEMWEB
2007
Springer
16 years 1 months ago
SALT: Weaving the Claim Web
In this paper we present a solution for “weaving the claim web”, i.e. the creation of knowledge networks via so-called claims stated in scientific publications created with th...
Tudor Groza, Knud Möller, Siegfried Handschuh...