Sciweavers

1008 search results - page 44 / 202
» Logic and Databases
Sort
View
FOIKS
2010
Springer
13 years 11 months ago
On the Existence of Armstrong Data Trees for XML Functional Dependencies
Armstrong databases are a popular tool in example-based database design. An Armstrong database for a given constraint set from a fixed constraint class Z satisfies precisely those ...
Sven Hartmann, Henning Köhler, Thu Trinh
ER
2006
Springer
157views Database» more  ER 2006»
13 years 11 months ago
Representing Transitive Propagation in OWL
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
Julian Seidenberg, Alan L. Rector
DEXAW
2000
IEEE
74views Database» more  DEXAW 2000»
14 years 4 days ago
Retrieval Situations and Belief Change
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
David E. Losada, Alvaro Barreiro
JAPLL
2010
179views more  JAPLL 2010»
13 years 6 months ago
Tractable query answering and rewriting under description logic constraints
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...
Héctor Pérez-Urbina, Boris Motik, Ia...
DEXAW
2003
IEEE
113views Database» more  DEXAW 2003»
14 years 1 months ago
Integrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
Stijn Heymans, Dirk Vermeir