Repositorio de producción científica de la Universidad de Sevilla

Formally Verified Tableau-Based Reasoners for a Description Logic

 

Advanced Search
 
Opened Access Formally Verified Tableau-Based Reasoners for a Description Logic
Cites

Show item statistics
Icon
Export to
Author: Hidalgo Doblado, María José
Alonso Jiménez, José Antonio
Borrego Díaz, Joaquín
Martín Mateos, Francisco Jesús
Ruiz Reina, José Luis
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2014
Published in: Journal of Automated Reasoning, 52 (3), 331-360.
Document type: Article
Abstract: Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One of the most basic description logics is ALC , used as a basis from which to obtain others. Description logics are particular...
[See more]
Cite: Hidalgo Doblado, M.J., Alonso Jiménez, J.A., Borrego Díaz, J., Martín Mateos, F.J. y Ruiz Reina, J.L. (2014). Formally Verified Tableau-Based Reasoners for a Description Logic. Journal of Automated Reasoning, 52 (3), 331-360.
Size: 824.8Kb
Format: PDF

URI: https://hdl.handle.net/11441/74927

DOI: 10.1007/s10817-013-9291-8

See editor´s version

This work is under a Creative Commons License: 
Atribución-NoComercial-SinDerivadas 3.0 Estados Unidos de América

This item appears in the following Collection(s)