Sciweavers

ECAI
2008
Springer
13 years 6 months ago
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments
In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules...
Georgios Meditskos, Nick Bassiliades
ECAI
2008
Springer
13 years 6 months ago
Task Driven Coreference Resolution for Relation Extraction
Abstract. This paper presents the extension of an existing mimimally supervised rule acquisition method for relation extraction by coreference resolution (CR). To this end, a novel...
Feiyu Xu, Hans Uszkoreit, Hong Li
ECAI
2008
Springer
13 years 6 months ago
Determining Automatically the Size of Learned Ontologies
Determining the size of an ontology that is automatically learned from texts is an open issue. In this paper, we study the similarity between ontology concepts at different levels ...
Elias Zavitsanos, Sergios Petridis, Georgios Palio...
ECAI
2008
Springer
13 years 6 months ago
Vivifying Propositional Clausal Formulae
Abstract. In this paper, we present a new way to preprocess Boolean formulae in Conjunctive Normal Form (CNF). In contrast to most of the current pre-processing techniques, our app...
Cédric Piette, Youssef Hamadi, Lakhdar Sais
ECAI
2008
Springer
13 years 6 months ago
The Impact of Constraint Programming
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
Pascal Van Hentenryck
ECAI
2008
Springer
13 years 6 months ago
Definability in Logic and Rough Set Theory
Tuan-Fang Fan, Churn-Jung Liau, Duen-Ren Liu
ECAI
2008
Springer
13 years 6 months ago
An Efficient Student Model Based on Student Performance and Metadata
This paper describes a new student model technology that combines evidences and knowledge about pedagogical and domain structure. Its structure is generated from the metadata avai...
Arndt Faulhaber, Erica Melis
ECAI
2008
Springer
13 years 6 months ago
Automatic Configuration of Multi-Robot Systems: Planning for Multiple Steps
We consider multi-robot systems where robots need to cooperate tightly by sharing functionalities with each other. There are methods for automatically configuring a multi-robot sys...
Robert Lundh, Lars Karlsson, Alessandro Saffiotti
ECAI
2008
Springer
13 years 6 months ago
Agents Preferences in Decentralized Task Allocation
The ability to express preferences for specific tasks in multi-agent auctions is an important element for potential users who are considering to use such auctioning systems. This p...
Mark Hoogendoorn, Maria L. Gini
ECAI
2008
Springer
13 years 6 months ago
Conservativity in Structured Ontologies
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
Oliver Kutz, Till Mossakowski