InstQL: A Query Language for Virtual Institutions Using Answer Set Programming

L Hopton, Owen Cliffe, Marina De Vos, Julian Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Institutions provide a mechanism to capture and reason about "correct" and "incorrect" behaviour within a social context. While institutions can be studied in their own right, their real potential is as instruments to govern open software architectures like multi-agent and service-oriented systems. Our domain-specific action language for normative frameworks, InstAL aims to help focus designers' attention on the expression of issues such as permission, violation and power but does not help the designer in verifying or querying the model they have specified. In this paper we present the query language InstQL which includes a number of powerful features including temporal constraints over events and fluents that can be used in conjunction with InstAL to specify those traces that are of interest in order to investigate and reason over the underlying normative models. The semantics of the query language is provided by translating InstQL queries into AnsProlog, the same computational language as InstAL. The result is a simple, high-level query and constraint language that builds on and uses the reasoning power of ASP.
Original languageEnglish
Title of host publicationComputational Logic in Multi-Agent Systems
EditorsJ Dix, M Fisher, P Novak
Place of PublicationBerlin
PublisherSpringer
Pages102-121
Number of pages20
Volume6214
ISBN (Electronic)978-3-642-16867-3
ISBN (Print)9783642168666
DOIs
Publication statusPublished - 2010
Event10th International Workshop on Computational Logic in Multi-Agent Systems - Hamburg, Germany
Duration: 9 Sep 200810 Sep 2008

Publication series

NameLecture Notes in Artificial Intelligence
PublisherSpringer

Conference

Conference10th International Workshop on Computational Logic in Multi-Agent Systems
Abbreviated titleCLIMA 2009
CountryGermany
CityHamburg
Period9/09/0810/09/08

Fingerprint

Query languages
Software architecture
Semantics

Cite this

Hopton, L., Cliffe, O., De Vos, M., & Padget, J. (2010). InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. In J. Dix, M. Fisher, & P. Novak (Eds.), Computational Logic in Multi-Agent Systems (Vol. 6214, pp. 102-121). (Lecture Notes in Artificial Intelligence). Berlin: Springer. https://doi.org/10.1007/978-3-642-16867-3_6

InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. / Hopton, L; Cliffe, Owen; De Vos, Marina; Padget, Julian.

Computational Logic in Multi-Agent Systems. ed. / J Dix; M Fisher; P Novak. Vol. 6214 Berlin : Springer, 2010. p. 102-121 (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hopton, L, Cliffe, O, De Vos, M & Padget, J 2010, InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. in J Dix, M Fisher & P Novak (eds), Computational Logic in Multi-Agent Systems. vol. 6214, Lecture Notes in Artificial Intelligence, Springer, Berlin, pp. 102-121, 10th International Workshop on Computational Logic in Multi-Agent Systems, Hamburg, Germany, 9/09/08. https://doi.org/10.1007/978-3-642-16867-3_6
Hopton L, Cliffe O, De Vos M, Padget J. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. In Dix J, Fisher M, Novak P, editors, Computational Logic in Multi-Agent Systems. Vol. 6214. Berlin: Springer. 2010. p. 102-121. (Lecture Notes in Artificial Intelligence). https://doi.org/10.1007/978-3-642-16867-3_6
Hopton, L ; Cliffe, Owen ; De Vos, Marina ; Padget, Julian. / InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. Computational Logic in Multi-Agent Systems. editor / J Dix ; M Fisher ; P Novak. Vol. 6214 Berlin : Springer, 2010. pp. 102-121 (Lecture Notes in Artificial Intelligence).
@inproceedings{3a0db480e0894263a1ceaa7eb33cb182,
title = "InstQL: A Query Language for Virtual Institutions Using Answer Set Programming",
abstract = "Institutions provide a mechanism to capture and reason about {"}correct{"} and {"}incorrect{"} behaviour within a social context. While institutions can be studied in their own right, their real potential is as instruments to govern open software architectures like multi-agent and service-oriented systems. Our domain-specific action language for normative frameworks, InstAL aims to help focus designers' attention on the expression of issues such as permission, violation and power but does not help the designer in verifying or querying the model they have specified. In this paper we present the query language InstQL which includes a number of powerful features including temporal constraints over events and fluents that can be used in conjunction with InstAL to specify those traces that are of interest in order to investigate and reason over the underlying normative models. The semantics of the query language is provided by translating InstQL queries into AnsProlog, the same computational language as InstAL. The result is a simple, high-level query and constraint language that builds on and uses the reasoning power of ASP.",
author = "L Hopton and Owen Cliffe and {De Vos}, Marina and Julian Padget",
year = "2010",
doi = "10.1007/978-3-642-16867-3_6",
language = "English",
isbn = "9783642168666",
volume = "6214",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer",
pages = "102--121",
editor = "J Dix and M Fisher and P Novak",
booktitle = "Computational Logic in Multi-Agent Systems",

}

TY - GEN

T1 - InstQL: A Query Language for Virtual Institutions Using Answer Set Programming

AU - Hopton, L

AU - Cliffe, Owen

AU - De Vos, Marina

AU - Padget, Julian

PY - 2010

Y1 - 2010

N2 - Institutions provide a mechanism to capture and reason about "correct" and "incorrect" behaviour within a social context. While institutions can be studied in their own right, their real potential is as instruments to govern open software architectures like multi-agent and service-oriented systems. Our domain-specific action language for normative frameworks, InstAL aims to help focus designers' attention on the expression of issues such as permission, violation and power but does not help the designer in verifying or querying the model they have specified. In this paper we present the query language InstQL which includes a number of powerful features including temporal constraints over events and fluents that can be used in conjunction with InstAL to specify those traces that are of interest in order to investigate and reason over the underlying normative models. The semantics of the query language is provided by translating InstQL queries into AnsProlog, the same computational language as InstAL. The result is a simple, high-level query and constraint language that builds on and uses the reasoning power of ASP.

AB - Institutions provide a mechanism to capture and reason about "correct" and "incorrect" behaviour within a social context. While institutions can be studied in their own right, their real potential is as instruments to govern open software architectures like multi-agent and service-oriented systems. Our domain-specific action language for normative frameworks, InstAL aims to help focus designers' attention on the expression of issues such as permission, violation and power but does not help the designer in verifying or querying the model they have specified. In this paper we present the query language InstQL which includes a number of powerful features including temporal constraints over events and fluents that can be used in conjunction with InstAL to specify those traces that are of interest in order to investigate and reason over the underlying normative models. The semantics of the query language is provided by translating InstQL queries into AnsProlog, the same computational language as InstAL. The result is a simple, high-level query and constraint language that builds on and uses the reasoning power of ASP.

UR - http://dx.doi.org/10.1007/978-3-642-16867-3_6

U2 - 10.1007/978-3-642-16867-3_6

DO - 10.1007/978-3-642-16867-3_6

M3 - Conference contribution

SN - 9783642168666

VL - 6214

T3 - Lecture Notes in Artificial Intelligence

SP - 102

EP - 121

BT - Computational Logic in Multi-Agent Systems

A2 - Dix, J

A2 - Fisher, M

A2 - Novak, P

PB - Springer

CY - Berlin

ER -