Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules.
Jean-François BagetAlain GutierrezMichel LeclèreMarie-Laure MugnierSwan RocherClément SipieterPublished in: Challenge+DC@RuleML (2015)
Keyphrases
- rule language
- existentially quantified
- query answering
- query language
- production rules
- owl ontologies
- ontology based data access
- business rules
- expressive power
- logic programs
- markup language
- association rules
- data mining
- ontology languages
- data exchange
- rule sets
- deductive databases
- incomplete information
- logic programming
- description logics
- predicate invention
- semantic web technologies
- integrity constraints
- data complexity
- datalog programs
- knowledge representation
- domain knowledge
- multimedia
- databases