OWLIM Reasoning over FactForge.
Barry BishopAtanas KiryakovZdravko TashevMariana DamovaKiril Ivanov SimovPublished in: ORE (2012)
Keyphrases
- linked data
- reasoning systems
- reasoning tasks
- knowledge base
- spatial reasoning
- rule based reasoning
- linked open data
- consistency checking
- knowledge representation
- expert systems
- neural network
- meta level
- knowledge based systems
- reasoning process
- machine learning
- formal models
- reasoning problems
- resource bounded
- databases