Viviana Mascardi

Automatic Ontology Matching via Upper Ontologies: A Systematic Evaluation

¿Ontology matching¿ is the process of finding correspondences between entities belonging to different ontologies. This paper describes a set of algorithms that exploit upper ontologies as semantic bridges in the ontology matching process and presents a systematic analysis of the relationships among features of matched ontologies (number of simple and composite concepts, stems, concepts at the top level, common English suffixes and prefixes, and ontology depth), matching algorithms, used upper ontologies, and experiment results. This analysis allowed us to state under which circumstances the exploitation of upper ontologies gives significant advantages with respect to traditional approaches that do no use them. We run experiments with SUMO-OWL (a restricted version of SUMO), OpenCyc, and DOLCE. The experiments demonstrate that when our ¿structural matching method via upper ontology¿ uses an upper ontology large enough (OpenCyc, SUMO-OWL), the recall is significantly improved while preserving the precision obtained without upper ontologies. Instead, our ¿nonstructural matching method¿ via OpenCyc and SUMO-OWL improves the precision and maintains the recall. The ¿mixed method¿ that combines the results of structural alignment without using upper ontologies and structural alignment via upper ontologies improves the recall and maintains the F-measure independently of the used upper ontology.

Coo-BDI: Extending the BDI Model with Cooperativity

We define Coo-BDI, an extension of the BDI architecture with the notion of cooperativity. Agents can cooperate by exchanging and sharing plans in a quite flexible way. As a main result Coo-BDI promotes adaptivity and sharing of resources; as a by-product, it provides a better support for dealing with agents which do not possess their own procedural knowledge for processing a given event.

Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange

This paper brings together two recent contributions to the area of declarative agent-oriented programming, made feasible in practice by the recent introduction of an interpreter for a BDI programming language. The work on Coo-BDI has proposed an approach to plan exchange which applies to BDI agents in general. The other contribution is the introduction of special illocutionary forces for plan exchange between AgentSpeak agents. This has been implemented in Jason, an interpreter for an extended version of that language. This paper shows how the elaborate plan exchange mechanism of Coo-BDI can be used by AgentSpeak agents implemented with Jason. It also discusses an application on PDA-based multi-media presentations in museum visits for which plan exchange is relevant.

Logic-based specification languages for intelligent software agents

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable agent specification languages that have been chosen for their potential to be integrated in our ARPEGGIO project, an open framework for specifying and prototyping a MAS. The six languages are

Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason

\textsf{ConGolog}

An agent-based framework for sketched symbol interpretation

,

Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics

\textsf{AGENT-0}

Customizing AOSE methodologies by reusing AOSE features

, the

Behavioral Types in Programming Languages

\textsf{IMPACT}

Investigative analysis across documents and drawings: visual analytics for archaeologists

agent programming language,