Sciweavers

1283 search results - page 18 / 257
» Reasoning With Weighted Ontologies
Sort
View
ESWS
2006
Springer
14 years 1 months ago
Toward Multi-viewpoint Reasoning with OWL Ontologies
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
Heiner Stuckenschmidt
ENTCS
2006
174views more  ENTCS 2006»
13 years 9 months ago
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
Several variants of Bryant's ordered binary decision diagrams have been suggested in the literature to reason about discrete functions. In this paper, we introduce a generic ...
Jörn Ossowski, Christel Baier
DLOG
2003
13 years 11 months ago
From Lexicon To Mammographic Ontology: Experiences and Lessons
In this paper we describe our work on representing and constructing ontologies for breast mammography, which is part of planned set of comprehensive breast imaging and pathology o...
Bo Hu, Srinandan Dasmahapatra, Nigel Shadbolt
TALG
2010
101views more  TALG 2010»
13 years 8 months ago
Reasoning about online algorithms with weighted automata
We describe an automata-theoretic approach for the competitive analysis of online algorithms. Our approach is based on weighted automata, which assign to each input word a cost in...
Benjamin Aminof, Orna Kupferman, Robby Lampert
OWLED
2008
13 years 11 months ago
GO faster ChEBI with Reasonable Biochemistry
Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created...
Duncan Hull