Reasoning over Ontologies with DLV.
Carlo AlloccaMario AlvianoFrancesco CalimeriRoberta CostabileAlessio FiorentinoDavide FuscàStefano GermanoGiovanni LaboccettaNicola LeoneMarco MannaSimona PerriKristian RealeFrancesco RiccaPierfrancesco VeltriJessica ZangariPublished in: IC3K (2018)
Keyphrases
- knowledge base
- knowledge representation
- reasoning with inconsistent
- logical reasoning
- modular ontologies
- reasoning mechanism
- owl dl
- ontology reasoning
- semantic web ontologies
- answer set programming
- semantic web
- reasoning tasks
- ontology engineering
- answer sets
- disjunctive logic programming
- expressive description logics
- qualitative reasoning
- reasoning services
- ontology evolution
- semantic technologies
- semantically rich
- databases
- domain knowledge
- domain ontology
- knowledge processing
- reasoning systems
- ontology mapping
- semantic web technologies
- automated reasoning
- information integration
- metadata
- natural language
- formal ontologies
- knowledge structures
- spatial reasoning
- web ontology language
- polynomial hierarchy
- ontology learning
- description logics
- reasoning engine
- reasoning process
- reasoning mechanisms
- knowledge representation and reasoning
- related concepts