Reasoning with Large Scale OWL 2 EL Ontologies Based on MapReduce.
Zhangquan ZhouGuilin QiChang LiuRaghava MutharajuPascal HitzlerPublished in: APWeb (2) (2016)
Keyphrases
- description logics
- web ontology language
- reasoning services
- mathcal shiq
- owl dl
- ontology reasoning
- ontology languages
- knowledge representation
- knowledge base
- semantic web
- expressive description logics
- reasoning tasks
- owl ontologies
- dl lite
- reasoning problems
- web ontologies
- semantic web ontologies
- modular ontologies
- reasoning systems
- semantic web technologies
- reasoning mechanism
- ontological reasoning
- computational properties
- data intensive
- markup language
- biomedical ontologies
- ontology engineering
- data analytics
- semantic description
- databases
- real world
- expert systems
- reasoning with inconsistent
- first order logic
- domain ontology
- reasoning engine
- formal semantics
- linked data
- open world
- number restrictions
- rule language
- domain experts
- formal ontologies
- logic programming
- semantic web standards
- mapreduce framework
- data sources
- ontology evolution
- reasoning mechanisms