A Formally Verified Prover for the ALC Description Logic

Author/s	Alonso Jiménez, José Antonio Borrego Díaz, Joaquín Hidalgo Doblado, María José Martín Mateos, Francisco Jesús Ruiz Reina, José Luis
Department	Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Publication Date	2007
Deposit Date	2018-05-16
Published in	TPHOLs 2007: 20th International Conference on Theorem Proving in Higher Order Logics (2007), p 135-150
ISBN/ISSN	978-3-540-74590-7 0302-9743
Abstract	The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a family of logical formalisms for representing and reasoning about conceptual and terminological ...
Funding agencies	Ministerio de Educación y Ciencia (MEC). España
Project ID.	TIN2004–03884
Citation	Alonso Jiménez, J.A., Borrego Díaz, J., Hidalgo Doblado, M.J., Martín Mateos, F.J. y Ruiz Reina, J.L. (2007). A Formally Verified Prover for the ALC Description Logic. En TPHOLs 2007: 20th International Conference on Theorem Proving in Higher Order Logics (135-150), Kaiserslautern, Germany: Springer.