The Revival of Structural Subsumption in Tableau-based Reasoners.
Ralf MöllerVolker HaarslevSebastian WandeltPublished in: Description Logics (2008)
Keyphrases
- description logics
- reasoning systems
- ontology reasoning
- knowledge representation systems
- ontology languages
- owl dl
- np complete
- knowledge base
- structural information
- knowledge representation
- image processing
- semantic web
- structural features
- structural analysis
- database
- information systems
- social networks
- machine learning
- real time