Search Sciweavers | Sciweavers

2845 search results - page 16 / 569

» Constraints over Ontologies

CIKM
2005
Springer

456views Information Technology» more CIKM 2005»

14 years 2 months ago

Semantic similarity over the gene ontology: family correlation and selecting disjunctive ancestors

Many bioinformatics applications would beneﬁt from comparing proteins based on their biological role rather than their sequence. In most biological databases, proteins are alrea...

Francisco M. Couto, Mário J. Silva, Pedro C...

claim paper

Read More »

click to vote

CSCLP
2005
Springer

145views Artificial Intelligence» more CSCLP 2005»

Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains

14 years 2 months ago

Download www.informatik.uni-ulm.de

We give an eﬃciently executable speciﬁcation of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...

Thom W. Frühwirth

claim paper

Read More »

click to vote

PODS
2009
ACM

170views Database» more PODS 2009»

A general datalog-based framework for tractable query answering over ontologies

14 years 9 months ago

Download www.kr.tuwien.ac.at

d Abstract) Andrea Cal`i2,1 , Georg Gottlob1,2 , and Thomas Lukasiewicz1, 1 Computing Laboratory, University of Oxford, UK firstname.lastname@comlab.ox.ac.uk 2 Oxford-Man Institute...

Andrea Calì, Georg Gottlob, Thomas Lukasiew...

claim paper

Read More »

click to vote

RR
2007
Springer

109views Automated Reasoning» more RR 2007»

Consistent Query Answering over Description Logic Ontologies

14 years 2 months ago