Sciweavers

473 search results - page 57 / 95
» Hierarchical Course Knowledge Representation using Ontologie...
Sort
View
BPM
2009
Springer
126views Business» more  BPM 2009»
13 years 11 months ago
Micro Workflow Gestural Analysis: Representation in Social Business Processes
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
Ben Jennings, Anthony Finkelstein
WWW
2005
ACM
14 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
CADE
2007
Springer
14 years 8 months ago
Optimized Reasoning in Description Logics Using Hypertableaux
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
Boris Motik, Rob Shearer, Ian Horrocks
IAT
2007
IEEE
14 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
OAS
2003
13 years 9 months ago
Dealing With Mathematical Relations in Web-Ontologies
The growing use of agent systems and the widespread penetration of the Internet has opened up new possibilities for scientific collaboration. We have been investigating the role ...
Muthukkaruppan Annamalai, Leon Sterling