Semantic agent programming language use and formalization

This thesis gives an overview of languages used in the Semantic Web for data representation and querying. Then it gives a formalization of the Semantic Agent Programming Language (S-APL), which is a Semantic Web language for agent programming. The formalization consists of syntax and query definitio...

Full description

Bibliographic Details
Main Author: Cochez, Michael
Other Authors: Informaatioteknologian tiedekunta, Faculty of Information Technology, Tietotekniikan laitos, Department of Mathematical Information Technology, University of Jyväskylä, Jyväskylän yliopisto
Format: Master's thesis
Language:eng
Published: 2012
Subjects:
Online Access: https://jyx.jyu.fi/handle/123456789/44082
_version_ 1826225687332126720
author Cochez, Michael
author2 Informaatioteknologian tiedekunta Faculty of Information Technology Tietotekniikan laitos Department of Mathematical Information Technology University of Jyväskylä Jyväskylän yliopisto
author_facet Cochez, Michael Informaatioteknologian tiedekunta Faculty of Information Technology Tietotekniikan laitos Department of Mathematical Information Technology University of Jyväskylä Jyväskylän yliopisto Cochez, Michael Informaatioteknologian tiedekunta Faculty of Information Technology Tietotekniikan laitos Department of Mathematical Information Technology University of Jyväskylä Jyväskylän yliopisto
author_sort Cochez, Michael
datasource_str_mv jyx
description This thesis gives an overview of languages used in the Semantic Web for data representation and querying. Then it gives a formalization of the Semantic Agent Programming Language (S-APL), which is a Semantic Web language for agent programming. The formalization consists of syntax and query definition, and definition of the dynamic structure of a S-APL document. Further, it is shown why the formalization is needed.
first_indexed 2023-03-22T10:00:18Z
format Pro gradu
free_online_boolean 1
fullrecord [{"key": "dc.contributor.author", "value": "Cochez, Michael", "language": null, "element": "contributor", "qualifier": "author", "schema": "dc"}, {"key": "dc.date.accessioned", "value": "2014-08-22T10:29:33Z", "language": "", "element": "date", "qualifier": "accessioned", "schema": "dc"}, {"key": "dc.date.available", "value": "2014-08-22T10:29:33Z", "language": "", "element": "date", "qualifier": "available", "schema": "dc"}, {"key": "dc.date.issued", "value": "2012", "language": null, "element": "date", "qualifier": "issued", "schema": "dc"}, {"key": "dc.identifier.other", "value": "oai:jykdok.linneanet.fi:1444487", "language": null, "element": "identifier", "qualifier": "other", "schema": "dc"}, {"key": "dc.identifier.uri", "value": "https://jyx.jyu.fi/handle/123456789/44082", "language": "", "element": "identifier", "qualifier": "uri", "schema": "dc"}, {"key": "dc.description.abstract", "value": "This thesis gives an overview of languages used in the Semantic Web for data representation and querying. Then it gives a formalization of the Semantic Agent Programming Language (S-APL), which is a Semantic Web language for agent programming. The formalization consists of syntax and query definition, and definition of the dynamic structure of a S-APL document. Further, it is shown why the formalization is needed.", "language": "en", "element": "description", "qualifier": "abstract", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted using Plone Publishing form by Michael Cochez (miselico) on 2014-08-22 10:29:33.138527. Form: Master's Thesis publishing form (1 author) (https://kirjasto.jyu.fi/publish-and-buy/publishing-forms/masters-thesis-publishing-form-1-author). JyX data:", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted by jyx lomake-julkaisija (jyx-julkaisija@noreply.fi) on 2014-08-22T10:29:33Z\r\nNo. of bitstreams: 2\r\nURN:NBN:fi:jyu-201408222408.pdf: 594023 bytes, checksum: 44f5722047caa4f06959e743b8439d62 (MD5)\r\nlicense.html: 4262 bytes, checksum: 2d0a7326b9dca1c65ae1ff537395e413 (MD5)", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Made available in DSpace on 2014-08-22T10:29:33Z (GMT). No. of bitstreams: 2\r\nURN:NBN:fi:jyu-201408222408.pdf: 594023 bytes, checksum: 44f5722047caa4f06959e743b8439d62 (MD5)\r\nlicense.html: 4262 bytes, checksum: 2d0a7326b9dca1c65ae1ff537395e413 (MD5)\r\n Previous issue date: 2012", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.format.extent", "value": "1 verkkoaineisto.", "language": null, "element": "format", "qualifier": "extent", "schema": "dc"}, {"key": "dc.format.mimetype", "value": "application/pdf", "language": null, "element": "format", "qualifier": "mimetype", "schema": "dc"}, {"key": "dc.language.iso", "value": "eng", "language": null, "element": "language", "qualifier": "iso", "schema": "dc"}, {"key": "dc.rights", "value": "In Copyright", "language": "en", "element": "rights", "qualifier": null, "schema": "dc"}, {"key": "dc.subject.other", "value": "ontology", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "logic based languages", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "S-APL", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "semantic web", "language": "", "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.title", "value": "Semantic agent programming language : use and formalization", "language": null, "element": "title", "qualifier": null, "schema": "dc"}, {"key": "dc.type", "value": "master thesis", "language": null, "element": "type", "qualifier": null, "schema": "dc"}, {"key": "dc.identifier.urn", "value": "URN:NBN:fi:jyu-201408222408", "language": null, "element": "identifier", "qualifier": "urn", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Pro gradu -tutkielma", "language": "fi", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Master\u2019s thesis", "language": "en", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Informaatioteknologian tiedekunta", "language": "fi", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Faculty of Information Technology", "language": "en", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Tietotekniikan laitos", "language": "fi", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Department of Mathematical Information Technology", "language": "en", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "University of Jyv\u00e4skyl\u00e4", "language": "en", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "Jyv\u00e4skyl\u00e4n yliopisto", "language": "fi", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Tietotekniikka", "language": "fi", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Mathematical Information Technology", "language": "en", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "dc.date.updated", "value": "2014-08-22T10:29:34Z", "language": "", "element": "date", "qualifier": "updated", "schema": "dc"}, {"key": "dc.type.coar", "value": "http://purl.org/coar/resource_type/c_bdcc", "language": null, "element": "type", "qualifier": "coar", "schema": "dc"}, {"key": "dc.rights.accesslevel", "value": "openAccess", "language": null, "element": "rights", "qualifier": "accesslevel", "schema": "dc"}, {"key": "dc.type.publication", "value": "masterThesis", "language": null, "element": "type", "qualifier": "publication", "schema": "dc"}, {"key": "dc.subject.oppiainekoodi", "value": "602", "language": null, "element": "subject", "qualifier": "oppiainekoodi", "schema": "dc"}, {"key": "dc.subject.yso", "value": "ontologia", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "semanttinen web", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "ohjelmointikielet", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.format.content", "value": "fulltext", "language": null, "element": "format", "qualifier": "content", "schema": "dc"}, {"key": "dc.rights.url", "value": "https://rightsstatements.org/page/InC/1.0/", "language": null, "element": "rights", "qualifier": "url", "schema": "dc"}, {"key": "dc.type.okm", "value": "G2", "language": null, "element": "type", "qualifier": "okm", "schema": "dc"}]
id jyx.123456789_44082
language eng
last_indexed 2025-02-18T10:55:57Z
main_date 2012-01-01T00:00:00Z
main_date_str 2012
online_boolean 1
online_urls_str_mv {"url":"https:\/\/jyx.jyu.fi\/bitstreams\/5fcf9e8f-9995-47fa-aa32-adc444836b9d\/download","text":"URN:NBN:fi:jyu-201408222408.pdf","source":"jyx","mediaType":"application\/pdf"}
publishDate 2012
record_format qdc
source_str_mv jyx
spellingShingle Cochez, Michael Semantic agent programming language : use and formalization ontology logic based languages S-APL semantic web Tietotekniikka Mathematical Information Technology 602 ontologia semanttinen web ohjelmointikielet
title Semantic agent programming language : use and formalization
title_full Semantic agent programming language : use and formalization
title_fullStr Semantic agent programming language : use and formalization Semantic agent programming language : use and formalization
title_full_unstemmed Semantic agent programming language : use and formalization Semantic agent programming language : use and formalization
title_short Semantic agent programming language
title_sort semantic agent programming language use and formalization
title_sub use and formalization
title_txtP Semantic agent programming language : use and formalization
topic ontology logic based languages S-APL semantic web Tietotekniikka Mathematical Information Technology 602 ontologia semanttinen web ohjelmointikielet
topic_facet 602 Mathematical Information Technology S-APL Tietotekniikka logic based languages ohjelmointikielet ontologia ontology semantic web semanttinen web
url https://jyx.jyu.fi/handle/123456789/44082 http://www.urn.fi/URN:NBN:fi:jyu-201408222408
work_keys_str_mv AT cochezmichael semanticagentprogramminglanguageuseandformalization