EQuIKa System: Supporting OWL applications with local closed world assumption.

One of the major advantages of semantically annotating resources on Web is the facilitation of web services discovery. Languages based on OWL are prune to several problems for web services discovery due to the open-world assumption when handling incomplete information. Thus standard OWL reasoner are usually not suitable for the discovery purposes. The aforementioned problems can easily be fixed by considering some non-monotonic extension of OWL. We present EQuIKa, a tool for discovery web resources annotating semantically based on non-monotonic extension of OWL called autoepistemic description logics (ADL). EQuIKa uses a standard reasoner as a black-box and is available as Protege and NeOn Toolkit plugins.