Integrity constraints in OWL ontologies based on grounded circumscription.
Dantong OuyangXianji CuiYuxin YePublished in: Frontiers Comput. Sci. (2013)
Keyphrases
- integrity constraints
- owl ontologies
- database schema
- deductive databases
- integrity checking
- description logics
- conjunctive queries
- production rules
- functional dependencies
- database integrity
- ontology languages
- query answering
- semantic annotation
- logic programs
- knowledge base
- domain ontology
- answer sets
- xml documents
- inclusion dependencies
- relational databases
- logic programming
- data management