2 search results - page 1 / 1 » A Peirce Style Calculus for ALC |
VL
2007
IEEE
13 years 11 months ago
2007
IEEE
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
KSEM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...