Contextual terminologies

Davide Grossi; Frank Dignum; John-Jules Ch. Meyer

doi:10.1007/11750734_16

Contextual terminologies

Davide Grossi, Frank Dignum, John-Jules Ch. Meyer

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

The paper addresses the issue of contextual representations of ontologies, as it arises in the area of normative system specifications for modeling multiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics framework which enables the expressivity of common description logics to reason within contexts (intra-contextual reasoning), allowing at the same time the possibility to reason also about contexts and their interplay (inter-contextual reasoning). Using this framework, two complex scenarios are discussed in detail and formalized. © Springer-Verlag Berlin Heidelberg 2006.

Original language	English
Title of host publication	Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, Revised Selected and Invited Papers
Pages	284-302
DOIs	https://doi.org/10.1007/11750734_16
Publication status	Published - 2006
Externally published	Yes
Event	6th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI - , United Kingdom Duration: 27 Jun 2005 → 29 Jun 2005

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI
Country/Territory	United Kingdom
Period	27/06/05 → 29/06/05

Access to Document

10.1007/11750734_16

Persistent URL (handle)

Persistent link

Cite this

Grossi, D., Dignum, F., & Meyer, J.-J. C. (2006). Contextual terminologies. In Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, Revised Selected and Invited Papers (pp. 284-302). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11750734_16

@inproceedings{0492e05b0ef1466db676f752a92cc7a8,

title = "Contextual terminologies",

abstract = "The paper addresses the issue of contextual representations of ontologies, as it arises in the area of normative system specifications for modeling multiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics framework which enables the expressivity of common description logics to reason within contexts (intra-contextual reasoning), allowing at the same time the possibility to reason also about contexts and their interplay (inter-contextual reasoning). Using this framework, two complex scenarios are discussed in detail and formalized. {\textcopyright} Springer-Verlag Berlin Heidelberg 2006.",

author = "Davide Grossi and Frank Dignum and Meyer, {John-Jules Ch.}",

year = "2006",

doi = "10.1007/11750734_16",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "284--302",

booktitle = "Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, Revised Selected and Invited Papers",

note = "6th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI ; Conference date: 27-06-2005 Through 29-06-2005",

}

Grossi, D, Dignum, F & Meyer, J-JC 2006, Contextual terminologies. in Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, Revised Selected and Invited Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 284-302, 6th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, United Kingdom, 27/06/05. https://doi.org/10.1007/11750734_16

Contextual terminologies. / Grossi, Davide; Dignum, Frank; Meyer, John-Jules Ch.
Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, Revised Selected and Invited Papers. 2006. p. 284-302 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Contextual terminologies

AU - Grossi, Davide

AU - Dignum, Frank

AU - Meyer, John-Jules Ch.

PY - 2006

Y1 - 2006

N2 - The paper addresses the issue of contextual representations of ontologies, as it arises in the area of normative system specifications for modeling multiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics framework which enables the expressivity of common description logics to reason within contexts (intra-contextual reasoning), allowing at the same time the possibility to reason also about contexts and their interplay (inter-contextual reasoning). Using this framework, two complex scenarios are discussed in detail and formalized. © Springer-Verlag Berlin Heidelberg 2006.

AB - The paper addresses the issue of contextual representations of ontologies, as it arises in the area of normative system specifications for modeling multiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics framework which enables the expressivity of common description logics to reason within contexts (intra-contextual reasoning), allowing at the same time the possibility to reason also about contexts and their interplay (inter-contextual reasoning). Using this framework, two complex scenarios are discussed in detail and formalized. © Springer-Verlag Berlin Heidelberg 2006.

UR - http://www.scopus.com/inward/record.url?scp=33745625135&partnerID=8YFLogxK

U2 - 10.1007/11750734_16

DO - 10.1007/11750734_16

M3 - Conference contribution

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 284

EP - 302

BT - Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, Revised Selected and Invited Papers

T2 - 6th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI

Y2 - 27 June 2005 through 29 June 2005

ER -

Contextual terminologies

Abstract

Publication series

Conference

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this