Ontology Module Extraction via Datalog Reasoning.
Ana Armas RomeroMark KaminskiBernardo Cuenca GrauIan HorrocksPublished in: AAAI (2015)
Keyphrases
- knowledge base
- knowledge representation
- modular ontologies
- logical reasoning
- ontology reasoning
- reasoning mechanism
- ontology based data access
- ontology evolution
- logic programming
- ontology engineering
- expressive power
- domain ontology
- domain knowledge
- deductive databases
- query language
- qualitative physics
- query answering
- semantic web
- spatial reasoning
- automated reasoning
- reasoning tasks
- integrity constraints
- ontology languages
- semantic web ontologies
- reasoning engine
- formal ontologies
- ontological reasoning
- topological relations
- ontology matching
- reasoning systems
- domain specific
- description logics
- expert systems
- knowledge engineers
- ontology mapping
- semantic annotation
- semi automatic
- knowledge acquisition