46 search results - page 9 / 10 » Constraint-Based Reasoning in Deductive Databases |
ESWS
2009
Springer
14 years 4 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
AAAI
2010
13 years 11 months ago
2010
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. However...
PPDP
2010
Springer
13 years 7 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
DLOG
2008
14 years 4 days ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...