Sciweavers

993 search results - page 170 / 199
» Student Modelling Based on Ontologies
Sort
View
DEXAW
2004
IEEE
80views Database» more  DEXAW 2004»
14 years 14 days ago
Traceable Document Flows
Ad-hoc data exchange, e.g., by sending email attachments, leads to multiple copies or versions of a document at dispersed nodes in a network. However, their relationships such as ...
Martin Bernauer, Gerti Kappel, Elke Michlmayr
DLOG
2007
13 years 11 months ago
A Hypertableau Calculus for SHIQ
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...
Boris Motik, Rob Shearer, Ian Horrocks
ESWS
2008
Springer
13 years 10 months ago
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
Pavel Klinov
CLA
2006
13 years 10 months ago
First Elements on Knowledge Discovery Guided by Domain Knowledge (KDDK)
In this paper, we present research trends carried out in the Orpailleur team at loria, showing how knowledge discovery and knowledge processing may be combined. The knowledge disco...
Jean Lieber, Amedeo Napoli, Laszlo Szathmary, Yann...
IJCSA
2006
96views more  IJCSA 2006»
13 years 8 months ago
Assistance Tool for Conflicts Resolution Through Technical Negotiation
A conflict is a common phenomenon that results from the interaction between both individuals and groups of individuals. For the development of knowledge-based systems, one needs t...
Karima Akli-Astouati