Implementing TMCL: XTche: a topic map schema and constraint specification language

Detalhes bibliográficos
Autor(a) principal: Librelotto, Giovani Rubert
Data de Publicação: 2007
Outros Autores: Azevedo, Renato Preigschadt de, Turchetti, Rogério, Ramalho, José Carlos, Henriques, Pedro Rangel
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/7364
Resumo: In this paper we present a Topic Maps Validation System – XTche constraint language and its processor. We started with our strong motivation to check a topic map for syntactic and semantic correctness – as a notation to describe an ontology that supports a sophisticated computer system where its validation is crucial! Then we assume XTM and TMCL as starting points and we used our background in compilers and XML validation to come up with our proposal. XTche complies with all requirements stated for TMCL but it is an XML Schema oriented language. This idea brings two benefits: on one hand it allows for the syntactic specification of Topic Maps (not only the constraints), eliminating the need for two separated specifications (schema and constraints); and on the other hand it enables the use of an XML Schema editor (like XMLSpy) to provide a graphical interface and the basic syntactic checker. With XTche,atopicmapdesignerdefinesasetofrestrictionsthatguaranteethataparticulartopicmapissemanticallyvalid.
id RCAP_fe9883e569afe8a8f6cea052e51fbb54
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/7364
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str
spelling Implementing TMCL: XTche: a topic map schema and constraint specification languageTopic mapsOntologySemantic validationTMCLXMLIn this paper we present a Topic Maps Validation System – XTche constraint language and its processor. We started with our strong motivation to check a topic map for syntactic and semantic correctness – as a notation to describe an ontology that supports a sophisticated computer system where its validation is crucial! Then we assume XTM and TMCL as starting points and we used our background in compilers and XML validation to come up with our proposal. XTche complies with all requirements stated for TMCL but it is an XML Schema oriented language. This idea brings two benefits: on one hand it allows for the syntactic specification of Topic Maps (not only the constraints), eliminating the need for two separated specifications (schema and constraints); and on the other hand it enables the use of an XML Schema editor (like XMLSpy) to provide a graphical interface and the basic syntactic checker. With XTche,atopicmapdesignerdefinesasetofrestrictionsthatguaranteethataparticulartopicmapissemanticallyvalid.Universidade do MinhoLibrelotto, Giovani RubertAzevedo, Renato Preigschadt deTurchetti, RogérioRamalho, José CarlosHenriques, Pedro Rangel20072007-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/1822/7364engCONFERENCIA LATINOAMERICANA DE INFORMÁTICA, São José – Costa Rica, 33, 2007 - "Conferencia LatinoAmericana de Informática : Anais”. [S.l. : s.n., 2007].info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:48:41ZPortal AgregadorONG
dc.title.none.fl_str_mv Implementing TMCL: XTche: a topic map schema and constraint specification language
title Implementing TMCL: XTche: a topic map schema and constraint specification language
spellingShingle Implementing TMCL: XTche: a topic map schema and constraint specification language
Librelotto, Giovani Rubert
Topic maps
Ontology
Semantic validation
TMCL
XML
title_short Implementing TMCL: XTche: a topic map schema and constraint specification language
title_full Implementing TMCL: XTche: a topic map schema and constraint specification language
title_fullStr Implementing TMCL: XTche: a topic map schema and constraint specification language
title_full_unstemmed Implementing TMCL: XTche: a topic map schema and constraint specification language
title_sort Implementing TMCL: XTche: a topic map schema and constraint specification language
author Librelotto, Giovani Rubert
author_facet Librelotto, Giovani Rubert
Azevedo, Renato Preigschadt de
Turchetti, Rogério
Ramalho, José Carlos
Henriques, Pedro Rangel
author_role author
author2 Azevedo, Renato Preigschadt de
Turchetti, Rogério
Ramalho, José Carlos
Henriques, Pedro Rangel
author2_role author
author
author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Librelotto, Giovani Rubert
Azevedo, Renato Preigschadt de
Turchetti, Rogério
Ramalho, José Carlos
Henriques, Pedro Rangel
dc.subject.por.fl_str_mv Topic maps
Ontology
Semantic validation
TMCL
XML
topic Topic maps
Ontology
Semantic validation
TMCL
XML
description In this paper we present a Topic Maps Validation System – XTche constraint language and its processor. We started with our strong motivation to check a topic map for syntactic and semantic correctness – as a notation to describe an ontology that supports a sophisticated computer system where its validation is crucial! Then we assume XTM and TMCL as starting points and we used our background in compilers and XML validation to come up with our proposal. XTche complies with all requirements stated for TMCL but it is an XML Schema oriented language. This idea brings two benefits: on one hand it allows for the syntactic specification of Topic Maps (not only the constraints), eliminating the need for two separated specifications (schema and constraints); and on the other hand it enables the use of an XML Schema editor (like XMLSpy) to provide a graphical interface and the basic syntactic checker. With XTche,atopicmapdesignerdefinesasetofrestrictionsthatguaranteethataparticulartopicmapissemanticallyvalid.
publishDate 2007
dc.date.none.fl_str_mv 2007
2007-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/7364
url https://hdl.handle.net/1822/7364
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv CONFERENCIA LATINOAMERICANA DE INFORMÁTICA, São José – Costa Rica, 33, 2007 - "Conferencia LatinoAmericana de Informática : Anais”. [S.l. : s.n., 2007].
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1777303849168535552

Registros relacionados