Sciweavers

40 search results - page 2 / 8
» Class expression learning for ontology engineering
Sort
View
ECAI
2000
Springer
13 years 9 months ago
Learning Classification taxonomies from a classification knowledge based system
Knowledge-based systems (KBS) are not necessarily based on well-defined ontologies. In particular it is possible to build KBS for classification problems, where there is little con...
Hendra Suryanto, Paul Compton
EON
2003
13 years 6 months ago
Racer: A Core Inference Engine for the Semantic Web
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...
Volker Haarslev, Ralf Möller
EKAW
2008
Springer
13 years 7 months ago
Learning Disjointness for Debugging Mappings between Lightweight Ontologies
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
Christian Meilicke, Johanna Völker, Heiner St...
FOIKS
2006
Springer
13 years 9 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
SEMWEB
2004
Springer
13 years 10 months ago
Learning Meta-descriptions of the FOAF Network
We argue that in a distributed context, such as the Semantic Web, ontology engineers and data creators often cannot control (or even imagine) the possible uses their data or ontolo...
Gunnar Aastrand Grimnes, Peter Edwards, Alun D. Pr...