Thursday, 10 July 2008 09:52
View Comments

SONIC is a prototype system to implement non-standard inferences for Description Logics. We implemented the least common subsumer and approximation for ALE and ALEN with background terminologies.

 

Project Description

SONIC is a prototype system to implement non-standard inferences for description logics. The project is conducted at the Chair of Automata Theory of the faculty of Computer Science at the Dresden University of Technologies, supervised by Anni-Yasmin Turhan, and supported by the German Research Foundation (DFG).

 

Project related links

Publications

  • 2004 Anni-Yasmin Turhan, Christian Kissig: SONIC-Non-standard inferences go OilEd, in Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04)
  • 2004 Anni-Yasmin Turhan, Christian Kissig: SONIC : System Description, in Proceedings of the 2004 International Workshop on Description Logics (DL2004)

About description logics

Description Logics (DL) are a kind of Temporal Logics suitable for representing ontogical knowledge. Inferences for DL are divided into standard, such as satisfiability and subsumption, and non-standard, like least common subsumer (LCS) and approximation. State-of-the-art reasoners such as RACER and FaCT provide both standard inferences for the DL SHIQ+ with background terminologies through tableaux methods.

My contributions

Before I became part of the project, I extended inference procedures for lcs and approximation in the description logic (DL) ALE in a study project. Later I extended the implementation to ALEN with background terminology. I equipped the inference engine with telnet console and syscall interface to RACER.

The entire inference engine is written in LISP, in particular in Allegro CL. To avoid license issues I later ported the implementation to CMU CL and SBCL using the CLOCC library. (Besides, a benchmark revealed dramatic improvements in runtime behaviour.)

Later we added GUI support for the OilEd ontology editor. Therefor I wrote a plugin in Java and provided it with a DIG based interface to SONIC.

I also contributed to the developer and user documentation, the website as well as a system description that has been presented at the DL2004 workshop. See the list of publications for details.

blog comments powered by Disqus
back to top
Last Updated on Sunday, 31 January 2010 12:18