Sciweavers

114 search results - page 13 / 23
» Contextual Logic Programming for Ontology Representation and...
Sort
View
LREC
2010
211views Education» more  LREC 2010»
13 years 9 months ago
EcoLexicon: An Environmental TKB
EcoLexicon, a multilingual knowledge resource on the environment, provides an internally coherent information system covering a wide range of specialized linguistic and conceptual...
Arianne Reimerink, Pilar León Araúz,...
DILS
2008
Springer
13 years 9 months ago
Chemical Knowledge for the Semantic Web
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...
Mykola Konyk, Alexander De Leon Battista, Michel D...
FOIKS
2006
Springer
13 years 11 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
2007
Springer
14 years 1 months ago
Extending Fuzzy Description Logics with a Possibilistic Layer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....
Fernando Bobillo, Miguel Delgado, Juan Góme...
BIB
2006
169views more  BIB 2006»
13 years 7 months ago
Bio-ontologies: current trends and future directions
: In recent years, as a knowledge-based discipline, bioinformatics has moved to make its knowledge more computationally amenable. After its beginnings in the disciplines as a techn...
Olivier Bodenreider, Robert Stevens