The limits and possibilities of combining Description Logics and Datalog

Description Logics are currently the most used formalisms for building ontologies, and have been proposed as standard languages for the specification of ontologies in the Semantic Web. The problem of adding rules to Description Logics is currently a hot research topic, due to the interest of Semantic Web applications towards the integration of rule-based systems with ontologies. Most of the approaches in this field concern the study of description logic knowledge bases augmented with rules expressed in Datalog and its nonmonotonic extensions. In this talk we present a set of computational results which identify, from the viewpoint of the expressive abilities of the two formalisms, minimal combinations of Description Logics and (nonmonotonic) Datalog in which reasoning is undecidable. Then, based on the above results, we briefly survey some recent proposals for overcoming such expressive limitations. © 2006 IEEE

Modelos de conocimiento basados en ontologías para la construcción de software en el dominio de la Ingeniería de control

217 p.El tema abordado en esta tesis es la representación del conocimiento del dominio de la ingeniería de control en las aplicaciones informáticas. En concreto se presenta y estudia el uso de las técnicas de modelado del conocimiento provenientes del campo de la inteligencia artificial como forma de hacer frente a alguna de las necesidades que presenta el software en esta disciplina. Para comprobar la validez de esta aproximación se estudia y lleva a cabo la construcción de una estructura conceptual (una ontología) que recoge el conocimiento existente en un subdominio de esa disciplina, concretamente en el problema de diseño de compensadores de adelanto/retraso con las técnicas del lugar de las raíces. La tesis incluye un estado del arte sobre el software CACE / CACSD y sobre el concepto de ontología y su evolución a partir de los sistemas expertos, dentro del campo de la representación del conocimiento y la ingeniería del conocimient