Large-Scale Reasoning on Expressive Horn Ontologies.
Carlo AlloccaFrancesco CalimeriCristina CiviliRoberta CostabileBernardo CuteriAlessio FiorentinoDavide FuscàStefano GermanoGiovanni LaboccettaMarco MannaSimona PerriKristian RealeFrancesco RiccaPierfrancesco VeltriJessica ZangariPublished in: Datalog (2019)
Keyphrases
- knowledge base
- knowledge representation
- modular ontologies
- reasoning with inconsistent
- logical reasoning
- reasoning mechanism
- horn logic
- semantic web ontologies
- description logics
- ontology reasoning
- np hard
- reasoning services
- ontology evolution
- mathcal shiq
- owl dl
- propositional logic
- semantic web
- real world
- ontology engineering
- databases
- reasoning process
- domain specific
- semantic relations
- small scale
- ontological reasoning
- production rules
- semantic web technologies
- knowledge representation languages
- maximal tractable
- case based reasoning
- approximate reasoning
- belief change
- highly expressive
- automated reasoning
- reasoning tasks
- semantic technologies
- knowledge processing