Abstract. The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-based handling of equality into the hyper tableau calculus. E-KRHyper extends our previous KRHyper system, which has been used in a number of applications in the field of knowledge representation. In contrast to most first order theorem provers, it supports features important for such applications, for example queries with predicate extensions as answers, handling of large sets of uniformly structured input facts, arithmetic evaluation and stratified negation as failure. It is our goal to extend the range of application possibilities of KRHyper by adding equality reasoning. 1

This is a preliminary experience report about designing and implementing a tableaux-based DL reasoner suitable to run on a mobile device. For now the reasoning system only offers pure TBox subsumption. Currently there is no preprocessing for efficient taxonomy computation nor ABox support. The reasoner supports the DIG standard for client communication. Nowadays most mobile devices are capable of running Java programs using the Micro Edition of the Java 2 platform (J2ME). In order to gain valuable experience in the course of developing a mobile DL reasoner we took the most ambiguous challenge by choosing the greatest common environment, namely pure J2ME, on very limited devices, namely mobile phones. Our approach is based on the well-known tableaux algorithm which is used in most modern DL reasoning systems. This has the advantage of starting with a relatively simple base algorithm which can be successively extended in order to support additional language constructs. The mobile reasoner currently can handle ALCN KBs with unique definitions.

logistics applications

A semantic-based fully visual application for

Abstract. Novel wireless handheld devices allow the adoption of revised and adapted discovery approaches originally devised for the Semantic Web in mobile ad-hoc networks. Nevertheless, capabilities of such devices require an accurate re-design of frameworks and algorithms to efficiently support mobile users. The paper focuses on an implementation of concept abduction and contraction algorithms in (fuzzy) ALN (D) DL settings to perform semantic matchmaking and provide logical explanation services. OWL-DL Knowledge Bases have been properly exploited to enable standard and non-standard inference services. The proposed framework has been implemented and tested in a fire hazards prevention case study: early experimental results are reported. 1

Abstract. Though increased potentialities of handheld devices allow to apply discovery approaches designed for the Semantic Web, care has to be paid in re-designing original frameworks and algorithms. The paper presents a revision of basic inference services leveraging object-oriented Database Management System to perform semantic matchmaking and provide logical explanations. OWL-DL Knowledge Bases have been properly migrated towards an object oriented version to enable reasoning by addressing proper queries to a mobile DB. The proposed framework has been implemented and tested: preliminary results have been reported. 1

Abstract—A full exploitation of semantics in mobile environments enhances discovery effectiveness allowing the instant fruition of services and resources. Hence, nowadays ever increasing efforts are spent in making available tools able to exploit Semantic Web techniques and technologies also in ubiquitous computing. This paper presents a platformindependent mobile semantic discovery framework as well as a working prototypical implementation, which enables advanced knowledge-based services taking into account user’s location. The proposed approach is explained and motivated in a ubiquitous tourism case study, where some early evaluations are presented to prove its feasibility and usefulness.