Chan Le Duc
- Category-theoretical Semantics of the Description Logic ALC (extended version)
2021/10/17 by Chan Le Duc, Duc, Chan Le · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebra over a field #Categorical variable #Category theory #Computer science #Denotational semantics #Logic, Reasoning, and Knowledge #Mathematical proof #Mathematics #Natural language processing #Operational semantics #Programming language #Proof theory #Pure mathematics #Rough Sets and Fuzzy Logic #Semantic Web and Ontologies #Semantics (computer science) #Set (abstract data type) #Well-founded semantics