Towards a Concurrent Approximate Description Logic Reasoner.
Raj Kamal YadavGunjan SinghRaghava MutharajuSumit BhatiaPublished in: ISWC (Satellites) (2019)
Keyphrases
- description logics
- knowledge base
- reasoning services
- reasoning tasks
- reasoning problems
- knowledge representation
- semantic web
- computational properties
- computing least common subsumers
- reasoning systems
- ontology languages
- snomed ct
- owl dl
- logical implication
- expert systems
- dl lite
- concept descriptions
- consistency checking
- query answering
- database systems
- ontology reasoning
- logic programming