Ontology Module Extraction via Datalog Reasoning.
Ana Armas RomeroMark KaminskiBernardo Cuenca GrauIan HorrocksPublished in: CoRR (2014)
Keyphrases
- knowledge base
- modular ontologies
- ontology based data access
- knowledge representation
- logical reasoning
- reasoning mechanism
- domain knowledge
- ontology reasoning
- deductive databases
- logic programming
- ontology languages
- ontological reasoning
- qualitative physics
- domain ontology
- ontology evolution
- integrity constraints
- expressive power
- semantic web
- query answering
- domain specific
- information extraction
- reasoning engine
- reasoning process
- description logics
- owl dl
- reasoning systems
- query language
- automated reasoning
- transitive closure
- knowledge processing
- ontology engineering
- database systems
- web ontology language
- formal ontologies
- conceptual modeling
- reasoning tasks
- semantic information
- case based reasoning
- owl ontologies
- spatial reasoning
- biomedical ontologies
- relational algebra
- semantic annotation
- wordnet
- semantic web ontologies