A Parallel Reasoner for the Description Logic ALC.
Kejia WuVolker HaarslevPublished in: Description Logics (2012)
Keyphrases
- knowledge base
- parallel implementation
- modal logic
- description logic alc
- parallel architectures
- depth first search
- parallel processing
- information systems
- machine learning
- data sets
- knowledge based systems
- scheduling problem
- database
- expert systems
- parallel computing
- parallel computation
- distributed memory
- parallel programming
- consistency checking