Sciweavers

706 search results - page 68 / 142
» Conceptual Modeling with Description Logics
Sort
View
CAISE
2003
Springer
14 years 1 months ago
Towards the Automation of Data Warehouse Logical Design: a Rule-Based Approach
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...
Verónika Peralta, Alvaro Illarze, Raul Rugg...
CADE
2005
Springer
14 years 1 months ago
KRHyper - In Your Pocket
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
Alex Sinner, Thomas Kleemann
JELIA
2004
Springer
14 years 1 months ago
Practical Reasoning for Uncertain Agents
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe ...
CAISE
2004
Springer
14 years 1 months ago
A Step Towards Context Insensitive Quality Control for Ontology Building Methodologies
A methodology provides description of process and guidance for producing ontology that facilitates management of the enterprise engineering products. Method support in terms of det...
Sari Hakkarainen, Raimundas Matulevicius, Darijus ...
EDM
2008
117views Data Mining» more  EDM 2008»
13 years 9 months ago
Integrating Knowledge Gained From Data Mining With Pedagogical Knowledge
Abstract. Discovering knowledge from raw data is one of the goals of data mining. Yet, it is not always clear how this knowledge is used in educational computing systems and how ex...
Roland Hübscher, Sadhana Puntambekar