ListarArtículos (Ciencias de la Computación e Inteligencia Artificial) por materia "Description Logics"
Mostrando ítems 1-1 de 1
-
Artículo
Constructing Formally Verified Reasoners for the ALC Description Logic
(Elsevier, 2008)Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. ...