Computing Repairs of Inconsistent DL-Programs over EL Ontologies.
Thomas EiterMichael FinkDaria StepanovaPublished in: J. Artif. Intell. Res. (2016)
Keyphrases
- dl programs
- description logics
- description logic programs
- answer sets
- knowledge base
- consistent query answering
- reasoning tasks
- dl lite
- knowledge representation
- semantic web
- integrity constraints
- logic programs
- inconsistent databases
- incomplete information
- database
- information integration
- answer set programming
- owl ontologies
- logic programming
- answer set semantics
- domain knowledge
- software engineering