Complete Approximations of Horn DL Ontologies.
Anneke BötcherCarsten LutzFrank WolterPublished in: Description Logics (2018)
Keyphrases
- knowledge base
- description logics
- dl lite
- owl dl
- ontology languages
- semantic web
- ontological reasoning
- databases
- domain knowledge
- domain ontology
- semantic web technologies
- knowledge representation
- information integration
- description logic programs
- owl dl ontology
- closed form
- np hard
- special case
- relational databases
- computational complexity
- natural language
- information systems