Now showing items 1-2 of 2
Constructing Formally Verified Reasoners for the ALC Description Logic [Article]
Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. Recently, its importance has been increased since they are used as a basis for the Ontology Web Language ...
Verification of the Formal Concept Analysis [Article]
(Real Academia de Ciencias, 2004)
This paper is concerned with a formal verification of the Formal Concept Analysis framework. We use the PVS system to represent and formally verify some algorithms of this theory. We also develop a method to transform ...