Category-theoretical Semantics of the Description Logic ALC.

Published in: Description Logics (2021)

Keyphrases

description logic alc
modal logic
description logics
formal semantics
normal form
object recognition
data sets
theoretical analysis
logic programming
semantic information
hierarchical structure
semantic web
temporal logic
object oriented
information systems
artificial intelligence
information retrieval