Abstract The Fourth International and Interdisciplinary Conference on Modeling and Using Context ... more Abstract The Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-03) took place at the Stanford University Center for the Study of Language and Information in Stanford, California, on 23 to 25 June 2003.
Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer s... more Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer systems which act intelligently need the ability to represent, utilize and reason about contexts and ontologies. Recently we have seen a number of projects devoted to the definition and usage of contexts as well as ontologies in intelligent KR systems. With the advent of the web and the ubiquitous connectivity it brings, contexts and ontologies have become a relevant notion also in other, more recent, applications.
Enterprise modelling is the process of formally describing aspects of an enterprise, typically as... more Enterprise modelling is the process of formally describing aspects of an enterprise, typically as process models, data models, resource models, competence profiles, etc. The availability of such enterprise models, expressed in computer-interpretable formal languages, is becoming an important factor for enterprises and organisations to make better and more flexible usage of the organisation's knowledge capital and foster innovation. We describe here the design and applications of MoKi (the Modeling wiKi, http://moki. fbk.
To appropriately configure agents so as to avoid resource exhaustion, it is necessary to determin... more To appropriately configure agents so as to avoid resource exhaustion, it is necessary to determine the minimum resource (time & memory) requirements necessary to solve reasoning problems. In this paper we show how the problem of reasoning under bounded resources can be recast as a planning problem.
Abstract: The success of wikis for collaborative knowledge construction is triggering the develop... more Abstract: The success of wikis for collaborative knowledge construction is triggering the development of a number of tools for collaborative conceptual modeling based on them. In this paper we present a reference architecture for wiki-based collaborative conceptual modeling tools.
Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer s... more Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer systems which act intelligently need the ability to represent, utilize and reason about contexts and ontologies. Recently we have seen a number of projects devoted to the definition and usage of contexts as well as ontologies in intelligent KR systems. With the advent of the web and the ubiquitous connectivity it brings, contexts and ontologies have become a relevant notion also in other, more recent, applications.
The dematerialization of documents produced within the Public Administration (PA) represents a ke... more The dematerialization of documents produced within the Public Administration (PA) represents a key contribution that Information and Communication Technology can provide towards the modernization of services within the PA.
Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer s... more Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer systems which act intelligently need the ability to represent, utilize and reason about contexts and ontologies. Many projects devoted to the definition and usage of contexts as well as ontologies in intelligent KR systems. With the advent of the web and the ubiquitous connectivity, contexts and ontologies have become a relevant notion also in other, more recent, disciplines.
Abstract. The usage of ontologies for annotating resources significantly growth in the last years... more Abstract. The usage of ontologies for annotating resources significantly growth in the last years. However, ontologies are dynamics artifacts that may change during time due to the change of the conceptual representation of the domain they describe or to the necessity of modifying the definition of some entities.
The papers published in these proceedings were presented at the 1st CONTEXT Doctoral Consortium. ... more The papers published in these proceedings were presented at the 1st CONTEXT Doctoral Consortium. The Doctoral Consortium was held in Paris, France on July 6, 2005 during the Fifth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-05). The CONTEXT conference series is meant to provide an interdisciplinary forum where researchers can exchange ideas, methodologies, and results on context and has become a reference conference for all people doing research on context.
ABSTRACT Just as testing is an integral part of software engineering, so is ontology evaluation a... more ABSTRACT Just as testing is an integral part of software engineering, so is ontology evaluation an integral part of ontology engineering. We have implemented automated support for formative ontology evaluation based on the two principles of i) checking for compliance with modelling guidelines and ii) reviewing entailed statements in MoKi, a wiki based ontology engineering environment.
Abstract. State of the art formalisms for distributed ontology integration provide ways to expres... more Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between homogeneous components of different ontologies; namely, they allow to map concepts into concepts, individuals into individuals, and properties into properties. However, the extensive usage of multiple distributed ontologies requires the capability for expressing different forms of mappings, which extend the semantic relations among homogeneous components studied so far.
Abstract In agent-mediated electronic commerce, agents need to exchange information with other ag... more Abstract In agent-mediated electronic commerce, agents need to exchange information with other agents and to integrate the obtained information with their own data. Integration is a very complex task as: information is distributed among different agents; each agent au-tonomously represents and manages its own information; information might be partial, as agent cannot wait to have complete information before acting; finally information is redundant, as the same information might be represented by two different agents.
Abstract: The success of wikis for collaborative knowledge construction is triggering the develop... more Abstract: The success of wikis for collaborative knowledge construction is triggering the development of a number of tools for collaborative conceptual modeling based on them. In this paper, we present a reference architecture for wiki-based collaborative conceptual modeling tools.
Abstract. Using templates for conceptual modeling is becoming a fashionable way to guide and faci... more Abstract. Using templates for conceptual modeling is becoming a fashionable way to guide and facilitate Domain Experts in providing rich and good quality knowledge. A possibility to build templates without starting from scratch is grounding them on existing foundational and core ontologies. In this paper we investigate how these ontologies can be effectively used for the construction of templates able to guarantee a balance between usability and rigorousness.
In previous work we argued that semantic discrepancies between different ontologies do not reduce... more In previous work we argued that semantic discrepancies between different ontologies do not reduce to the fact that a concept (relation) in an ontology is somehow related to another concept (relation) in another ontology. On the contrary, semantic discrepancies are likely to be more articulate; eg the same “real world” entity can be modelled as a concept or a relation.
Abstract In this paper, we propose a model of the web of data as a graph of interlinked graphs wh... more Abstract In this paper, we propose a model of the web of data as a graph of interlinked graphs which goes beyond the standard single-graph RDF semantics, describe two different ways in which a query on this structure can be answered, and characterize semantically each of these ways in terms of restrictions on the relation between the domain of interpretation of each single component graph.
Ontology mappings are often assigned a weight or confidence factor by matchers. Nonetheless, few ... more Ontology mappings are often assigned a weight or confidence factor by matchers. Nonetheless, few semantic accounts have been given so far for such weights. This paper presents a formal semantics for weighted mappings between different ontologies.
Abstract The Fourth International and Interdisciplinary Conference on Modeling and Using Context ... more Abstract The Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-03) took place at the Stanford University Center for the Study of Language and Information in Stanford, California, on 23 to 25 June 2003.
Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer s... more Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer systems which act intelligently need the ability to represent, utilize and reason about contexts and ontologies. Recently we have seen a number of projects devoted to the definition and usage of contexts as well as ontologies in intelligent KR systems. With the advent of the web and the ubiquitous connectivity it brings, contexts and ontologies have become a relevant notion also in other, more recent, applications.
Enterprise modelling is the process of formally describing aspects of an enterprise, typically as... more Enterprise modelling is the process of formally describing aspects of an enterprise, typically as process models, data models, resource models, competence profiles, etc. The availability of such enterprise models, expressed in computer-interpretable formal languages, is becoming an important factor for enterprises and organisations to make better and more flexible usage of the organisation's knowledge capital and foster innovation. We describe here the design and applications of MoKi (the Modeling wiKi, http://moki. fbk.
To appropriately configure agents so as to avoid resource exhaustion, it is necessary to determin... more To appropriately configure agents so as to avoid resource exhaustion, it is necessary to determine the minimum resource (time & memory) requirements necessary to solve reasoning problems. In this paper we show how the problem of reasoning under bounded resources can be recast as a planning problem.
Abstract: The success of wikis for collaborative knowledge construction is triggering the develop... more Abstract: The success of wikis for collaborative knowledge construction is triggering the development of a number of tools for collaborative conceptual modeling based on them. In this paper we present a reference architecture for wiki-based collaborative conceptual modeling tools.
Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer s... more Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer systems which act intelligently need the ability to represent, utilize and reason about contexts and ontologies. Recently we have seen a number of projects devoted to the definition and usage of contexts as well as ontologies in intelligent KR systems. With the advent of the web and the ubiquitous connectivity it brings, contexts and ontologies have become a relevant notion also in other, more recent, applications.
The dematerialization of documents produced within the Public Administration (PA) represents a ke... more The dematerialization of documents produced within the Public Administration (PA) represents a key contribution that Information and Communication Technology can provide towards the modernization of services within the PA.
Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer s... more Contexts and ontologies play a crucial role in knowledge representation and reasoning. Computer systems which act intelligently need the ability to represent, utilize and reason about contexts and ontologies. Many projects devoted to the definition and usage of contexts as well as ontologies in intelligent KR systems. With the advent of the web and the ubiquitous connectivity, contexts and ontologies have become a relevant notion also in other, more recent, disciplines.
Abstract. The usage of ontologies for annotating resources significantly growth in the last years... more Abstract. The usage of ontologies for annotating resources significantly growth in the last years. However, ontologies are dynamics artifacts that may change during time due to the change of the conceptual representation of the domain they describe or to the necessity of modifying the definition of some entities.
The papers published in these proceedings were presented at the 1st CONTEXT Doctoral Consortium. ... more The papers published in these proceedings were presented at the 1st CONTEXT Doctoral Consortium. The Doctoral Consortium was held in Paris, France on July 6, 2005 during the Fifth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-05). The CONTEXT conference series is meant to provide an interdisciplinary forum where researchers can exchange ideas, methodologies, and results on context and has become a reference conference for all people doing research on context.
ABSTRACT Just as testing is an integral part of software engineering, so is ontology evaluation a... more ABSTRACT Just as testing is an integral part of software engineering, so is ontology evaluation an integral part of ontology engineering. We have implemented automated support for formative ontology evaluation based on the two principles of i) checking for compliance with modelling guidelines and ii) reviewing entailed statements in MoKi, a wiki based ontology engineering environment.
Abstract. State of the art formalisms for distributed ontology integration provide ways to expres... more Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between homogeneous components of different ontologies; namely, they allow to map concepts into concepts, individuals into individuals, and properties into properties. However, the extensive usage of multiple distributed ontologies requires the capability for expressing different forms of mappings, which extend the semantic relations among homogeneous components studied so far.
Abstract In agent-mediated electronic commerce, agents need to exchange information with other ag... more Abstract In agent-mediated electronic commerce, agents need to exchange information with other agents and to integrate the obtained information with their own data. Integration is a very complex task as: information is distributed among different agents; each agent au-tonomously represents and manages its own information; information might be partial, as agent cannot wait to have complete information before acting; finally information is redundant, as the same information might be represented by two different agents.
Abstract: The success of wikis for collaborative knowledge construction is triggering the develop... more Abstract: The success of wikis for collaborative knowledge construction is triggering the development of a number of tools for collaborative conceptual modeling based on them. In this paper, we present a reference architecture for wiki-based collaborative conceptual modeling tools.
Abstract. Using templates for conceptual modeling is becoming a fashionable way to guide and faci... more Abstract. Using templates for conceptual modeling is becoming a fashionable way to guide and facilitate Domain Experts in providing rich and good quality knowledge. A possibility to build templates without starting from scratch is grounding them on existing foundational and core ontologies. In this paper we investigate how these ontologies can be effectively used for the construction of templates able to guarantee a balance between usability and rigorousness.
In previous work we argued that semantic discrepancies between different ontologies do not reduce... more In previous work we argued that semantic discrepancies between different ontologies do not reduce to the fact that a concept (relation) in an ontology is somehow related to another concept (relation) in another ontology. On the contrary, semantic discrepancies are likely to be more articulate; eg the same “real world” entity can be modelled as a concept or a relation.
Abstract In this paper, we propose a model of the web of data as a graph of interlinked graphs wh... more Abstract In this paper, we propose a model of the web of data as a graph of interlinked graphs which goes beyond the standard single-graph RDF semantics, describe two different ways in which a query on this structure can be answered, and characterize semantically each of these ways in terms of restrictions on the relation between the domain of interpretation of each single component graph.
Ontology mappings are often assigned a weight or confidence factor by matchers. Nonetheless, few ... more Ontology mappings are often assigned a weight or confidence factor by matchers. Nonetheless, few semantic accounts have been given so far for such weights. This paper presents a formal semantics for weighted mappings between different ontologies.
Uploads
Papers by chiara ghidini