OWL Reasoning: Subsumption Test Hardness and Modularity.
Nicolas MatentzogluBijan ParsiaUli SattlerPublished in: J. Autom. Reason. (2018)
Keyphrases
- ontology reasoning
- description logics
- knowledge representation
- knowledge base
- open world
- expressive description logics
- web ontology language
- np complete
- semantic web
- reasoning systems
- fuzzy description logics
- owl dl
- automated reasoning
- information theoretic
- owl ontologies
- np hard
- semantic description
- markup language
- knowledge representation language
- reasoning engine
- closed world
- inference engine
- learning theory
- incomplete information
- social networks