Adding Integrity Constraints to OWL.

Boris Motik Ian Horrocks Ulrike Sattler

Published in: OWLED (2007)

Keyphrases

integrity constraints
constraint language
deductive databases
integrity checking
query answering
conjunctive queries

database integrity
logic rules
constraint checking
functional dependencies
database schema
database transactions

semantic web
schema integration
knowledge base
inclusion dependencies
knowledge representation

databases
ontology languages
correctness criterion
active rules
incomplete information