Sciweavers

786 search results - page 140 / 158
» Description Logics in Ontology Applications
Sort
View
ESAW
2006
Springer
13 years 11 months ago
Competence Checking for the Global E-Service Society Using Games
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
Kostas Stathis, George Lekeas, Christos Kloukinas
DLOG
2008
13 years 10 months ago
Planning of Axiom Absorption
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...
Jiewen Wu, Volker Haarslev
ERSA
2007
113views Hardware» more  ERSA 2007»
13 years 9 months ago
Autonomous Computing Systems: A Proof-of-Concept
This paper describes a proof-of-concept implementation of a basic autonomous computing system. The system consists of an XUP Virtex-II Pro board running Linux and a set of softwar...
Neil Steiner, Peter M. Athanas
CADUI
2006
13 years 9 months ago
A Generic Approach For Multi-Device User Interface Rendering With Uiml
We present a rendering engine for displaying graphical user interfaces on multiple devices. The renderer interprets a standardized XML-based user interface description language: th...
Kris Luyten, Kristof Thys, Jo Vermeulen, Karin Con...
FLAIRS
2006
13 years 9 months ago
Verbalization Enhanced Tutoring
Intelligent Tutoring Systems (ITS) typically contain elements of instruction, assessment, feedback and guidance for the trainee. Most of the time, the ITS is controlling the dialo...
Christel Kemke, Shamima Mithun