Open AccessQuasi-Classical Semantics for Expressive Description Logics
Author(s) -
Xiaowang Zhang,
Guilin Qi,
Yue Ma,
Zuoquan Lin
Publication year - 2009
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - semantics (computer science) , computer science , modus ponens , consistency (knowledge bases) , description logic , classical logic , formal semantics (linguistics) , proof theoretic semantics , t norm fuzzy logics , theoretical computer science , operational semantics , well founded semantics , inference , action semantics , computational semantics , rule of inference , programming language , denotational semantics , artificial intelligence , fuzzy logic , membership function , fuzzy set