Artificial Intelligence and Semantic Technologies
The AIST Lab conducts research in knowledge representation formalisms and knowledge-based systems, and their applications in areas such as e-Science and the Semantic Web.
Two major streams of our research are NMR&LP and Onto&DL. The NMR&LP (non-monotonic reasoning and logic programming) stream focuses on logic reasoning with default knowledge, which is not monotonic in contrast with classical logics. In particular, logic programming with default negation (negation as failure) allows practical non-monotonic reasoning using rule-based systems. The Onto&DL (ontologies and description logics) stream focuses on (semi-)automated development and evolution of ontologies (large knowledge bases), as well as effective access of data through ontologies.In particular, such ontologies have description logics as the underlying formalisms.