Existing robot guides are able to offer a tour of a building, such as a museum, bank, science center, to a single person or to a group of participants. Usually the tours are predefined and there is no support for dynamic interactions between multiple robots. This paper focuses on distributed collaboration between several robot guides providing a building tour to groups of participants. Semantic techniques are adopted in order to formally define the tour topics, available content on a specific topic, and the robot and human profiles including their interests and content knowledge. The robot guides select different topics depending on their participants' interests and prior knowledge. Optimization of the topics of interests is achieved through exchange of participants between the robot guides whenever in each others neighborhood. Evaluation of the implemented algorithms presents a 90% content coverage of relevant topics for the individual participants.

Ontologies are key enablers for sharing precise and machine-understandable semantics among different applications and parties. Yet, for ontologies to meet these expectations, their quality must be of a good standard. The quality of an ontology is strongly based on the design method employed. This paper addresses the design problems related to the modelling of ontologies, with specific concentration on the issues related to the quality of the conceptualisations produced. The paper aims to demonstrate the impact of the modelling paradigm adopted on the quality of ontological models and, consequently, the potential impact that such a decision can have in relation to the development of software applications. To this aim, an ontology that is conceptualised based on the Object-Role Modelling (ORM) approach (a representative of endurantism) is re-engineered into a one modelled on the basis of the Object Paradigm (OP) (a representative of perdurantism). Next, the two ontologies are analytically compared using the specified criteria. The conducted comparison highlights that using the OP for ontology conceptualisation can provide more expressive, reusable, objective and temporal ontologies than those conceptualised on the basis of the ORM approach.

In this paper, we suggest to increase the quality and the precision of a document description using publication’s context description. Today, a lot of linguistic resources are both available on line and described by specific metadata. We first integrate them into an ontology which describes how linguists consider their primary data and tools. Then, we add to this ontology an inference system based on the information flow theory in order to establish causal relations between heterogeneous data. The result of the inference is characterized by a small set of properties which are embedded into three sequences of metadata enhancing the usual metadata describing publications.

Propositional attitudes in noncompositional logic are analysed from the view point of integration of their epistemic and deontic components. A new logical calculus for propositional attitudes inspired by possibility theory, a noncompositional version of fuzzy logic is proposed.

Intelligent tutoring systems (ITS) is a multidisciplinary field of study that draws upon artificial intelligence, computer science, and cognitive science to create computerized tutoring systems that offer immediate feedback and individualized instruction. Broadly construed, most intelligent tutoring systems can be characterized as having two loops: an outer loop and an inner loop. In general, the goal of the track is to bring together an international group of scientists to present current research, design, and empirical evaluations of their tutoring systems. is track is meant to inform researchers on the recent developments in both the design of tutoring systems, as well as their evaluation. Topics included game-based, narrative-based and virtual learning environments; NLP and dialogue in tutoring systems; modeling and shaping affective state; metacognition; gaming the system; ill-defined domains; educational data mining; authoring tools for nonexperts; adaptive educational hypermedia; collaborative and group learning; open learner modeling; ontology engineering for educational purposes; novel interfaces; human computer interaction in educational settings; design decisions to increase engagement; and assistive technologies for learners with special needs.

Event Management is one of the most lucrative and growing professions today. At present event management is done by humans. With the growing demand for managing large events, there is a rising demand for building intelligent systems to manage events. The so called event management systems today are only data processing systems that are unable to carry out decision making task on their own. Event management systems today do not consider emergencies and risk assessment as part of their execution. In this paper, we present an approach for representing events and monitor their execution. In particular, discuss the exceptions that can occur during an event execution and how they can be managed using event management rules. We present strategies for writing management rules that are used to handle problematic events and to build a DAG based programming system for event management. Our simulation results show how the performance of our event management system performs with the exception management rules.

According to a 2008 OECD review of national policies for education in South Africa, typically only 15 percent to 18 percent of secondary school students who sit for their final year exams every year qualify automatically for university-level education; and this number seems to be decreasing as more students choose to complete subjects on so-called standard grade instead of higher grade, a trend that is especially apparent for mathematics and science, the two fields with critical skills shortages in the country. The South African tertiary education sector is quite small for a country with a population of around 50 million, with 11 "traditional" universities, 6 technical universities, and 6 comprehensive universities. The latter university types focus on more technical or vocational education. The public sector also funds 16 research institutions. In spite of these obstacles, South African universities participate in world-class research activities in many fields and range among the best on the African continent.

This paper presents complexity analysis and variational methods for inference in probabilistic description logics featuring Boolean operators, quantification, qualified number restrictions, nominals, inverse roles and role hierarchies. Inference is shown to be PEXP-complete, and variational methods are designed so as to exploit logical inference whenever possible.

Without Linked Data, transport data is limited to applications exclusively around transport. In this paper, we present a workflow for publishing and linking transport data on the Web. So we will be able to develop transport applications and to add other features which will be created from other datasets. This will be possible because transport data will be linked to these datasets. We apply this workflow to two datasets: NEPTUNE, a French standard describing a transport line, and Passim, a directory containing relevant information on transport services, in every French city.

We are interested in bridging the world of natural language and the world of the semantic web in particular to support natural multilingual access to the web of data. In this paper we introduce a new type of lexical ontology called interlingual lexical ontology (ILexicOn), which uses semantic web formalisms to make each interlingual lexical unit class (ILUc) support the projection of its semantic decomposition on itself. After a short overview of existing lexical ontologies, we briefly introduce the semantic web formalisms we use. We then present the three layered architecture of our approach: i) the interlingual lexical meta-ontology (ILexiMOn); ii) the ILexicOn where ILUcs are formally defined; iii) the data layer. We illustrate our approach with a standalone ILexicOn, and introduce and explain a concise human-readable notation to represent ILexicOns. Finally, we show how semantic web formalisms enable the projection of a semantic decomposition on the decomposed ILUc.