MP-HTHEDL: A Massively Parallel Hypothesis Evaluation Engine in Description Logic.
Eyad AlgahtaniPublished in: IEEE Access (2024)
Keyphrases
- description logics
- massively parallel
- knowledge base
- fine grained
- semantic web
- parallel computing
- knowledge representation
- reasoning tasks
- reasoning problems
- computational properties
- snomed ct
- dl lite
- computing least common subsumers
- owl dl
- ontology languages
- logical implication
- reasoning mechanism
- refinement operators
- concept descriptions
- parallel machines
- number restrictions
- ontology reasoning
- expert systems