Embedded $\mathcal{EL}$ + Reasoning on Programmable Logic Controllers.
Stephan GrimmMichael WatzkeThomas HubauerFalco CescoliniPublished in: ISWC (2) (2012)
Keyphrases
- programmable logic
- description logics
- field programmable gate array
- embedded systems
- reasoning tasks
- control system
- reasoning process
- automated reasoning
- reasoning systems
- knowledge base
- computing systems
- higher order
- general purpose
- knowledge representation
- image segmentation
- image processing
- real time
- evolutionary robotics