Constructive Description Logic cALC as a Type System for Semantic Streams in the Domain of Auditing

Mendler, MichaelMichaelMendlerScheele, StephanStephanScheele0000-0003-0787-31812019-09-192014-09-242008https://fis.uni-bamberg.de/handle/uniba/18088engConstructive Description Logic cALC as a Type System for Semantic Streams in the Domain of Auditingconferenceobject