Module Extraction in Expressive Ontology Languages via Datalog Reasoning.
Ana Armas RomeroMark KaminskiBernardo Cuenca GrauIan HorrocksPublished in: J. Artif. Intell. Res. (2016)
Keyphrases
- ontology languages
- reasoning problems
- owl dl
- description logics
- semantic web
- reasoning services
- data complexity
- query answering
- formal semantics
- data types
- conceptual modeling
- ontology based data access
- reasoning tasks
- owl ontologies
- knowledge base
- knowledge representation
- reasoning systems
- expressive power
- conceptual models
- answering queries
- information extraction
- query language
- information integration
- complexity of query answering
- machine learning
- dl lite
- integrity constraints
- data structure
- deductive databases
- domain specific
- information systems