Início on OntoDL+

Linguagem

Mon, 01 Jan 0001 00:00:00 +0000

Linguagem

Um ficheiro OntoDL+ começa por Ontologia e um nome, segue uma sequência fixa de secções e termina com um ponto. A secção individuos é opcional. O OntoDL+ também permite uma secção atributos antes dos conceitos e uma secção restrictions depois dos triplos.

Ontologia biblioteca

conceitos {
 Livro[titulo:string, ano:string],
 Autor[nome:string]
}

individuos {
 duna, herbert
}

relacoes {
 escritoPor
}

triplos {
 duna = iof => Livro [titulo="Duna", ano="1965"];
 herbert = iof => Autor [nome="Frank Herbert"];
 duna = escritoPor => herbert
} .

Os nomes reservados das secções na linguagem original estão em português. As relações incorporadas são bilingues: iof / instancia, pof / parte, is-a / subclasse, synonym / sinonimo.

Gramática

Mon, 01 Jan 0001 00:00:00 +0000

Gramática

Não é a gramática do compilador: as ações semânticas e o pacote Java ontodlp foram omitidos. Várias regras existem apenas como exemplos na tese e foram aqui escritas para que a linguagem possa ser documentada e, mais tarde, editada num IDE.

palavra reservada
nome de regra
=> pontuação
? opcional * repetição

Estrutura

ontologia

Ontologia TEXT atributosSecao ? conceitos individuos ? relacoes triplos restricoes ? .

expandStmt

expand fileName ;

fileName

TEXT . TEXT . TEXT *

Conceitos e atributos

atributosSecao

atributosKw { expandStmt }

atributosKw { atributoDeclList }

atributoDeclList

atributoDecl , atributoDecl *

atributoDecl

TEXT : tipo

conceitos

conceitosKw { expandStmt }

conceitosKw { conceitoList }

conceitoList

conceito , conceito *

conceito

TEXT atributos ?

atributos

[ atributoRef , atributoRef * ]

atributoRef

TEXT

TEXT : tipo

tipo

TEXT

enum ( enumValue , enumValue * )

enumValue

atom

Indivíduos

individuos

individuos { expandStmt }

individuos { individuoList }

individuoList

TEXT TEXT ? , TEXT TEXT ? …

Relações

relacoes

relacoesKw { expandStmt }

relacoesKw { relacaoList }

relacaoList

relacao , relacao *

relacao

TEXT

TEXT [ relInf , relInf * ]

relInf

domain : TEXT

codomain : TEXT

props : properties

properties

( property , property * )

property

bijection

injection

surjection

abstraction

function

representation

surjective

simple

entire

injective

inverseKw = TEXT

Triplos

triplos

triplos { expandStmt }

triplos { triploList }

triploList

triplo ; triplo *

triplo

( ? TEXT = iofKw => TEXT atribInsts ? ) ?

( ? TEXT = pofKw => TEXT ) ?

( ? TEXT = isaKw => TEXT ) ?

( ? TEXT = synKw => TEXT ) ?

( ? TEXT = TEXT => TEXT ) ?

TEXT =[ relacionamentos ; relacionamentos * ]

relacionamentos

TEXT => TEXT , relMultiplo *

synKw => TEXT , relMultiplo *

isaKw => TEXT , relMultiplo *

pofKw => TEXT , relMultiplo *

iofKw => TEXT atribInsts ? , relMultiplo *

relMultiplo

=> ? TEXT

atribInsts

[ atribInst , atribInst * ]

atribInst

TEXT = atom

Restrições

restricoes

restricoesKw { constraint * }

constraint

constraintAtom :- constraintBody .

constraintBody

constraintDisj

constraintConj ; constraintConj *

constraintConj

constraintPrim , constraintPrim *

constraintPrim

( constraintBody )

not ( constraintBody )

constraintAtom

TEXT = TEXT => TEXT

TEXT == atom

TEXT \= atom

Palavras-chave

atributosKw

atributos

attributes

conceitosKw

conceitos

concepts

relacoesKw

relacoes

relations

restricoesKw

restricoes

restrictions

inverseKw

inverseOf

inversaDe

iofKw

iof

instancia

pofKw

pof

parte

isaKw

is-a

subclasse

synKw

synonym

sinonimo

Léxico

atom

TEXT

STRING

NUMBER

comentário

De // até ao fim da linha, ou entre /* e */. É ignorado.

TEXT

Um nome. Começa por uma letra e segue-se de letras, dígitos, traços inferiores ou hífenes. Aceita letras acentuadas.

STRING

Texto entre aspas simples ou duplas.

NUMBER

Um ou mais dígitos.

Créditos

Mon, 01 Jan 0001 00:00:00 +0000

Créditos

O OntoDL+ foi criado por Alexandre Costa Dias na Universidade do Minho, Escola de Engenharia, Departamento de Informática, como dissertação de mestrado em Engenharia Informática (outubro de 2021).

Orientadores:

Pedro Rangel Henriques (Ph.D.)
Cristiana Esteves Araújo (M.Sc.)

A linguagem é uma extensão da OntoDL.

Tese: Dias, Alexandre Costa. ONTODL+: an ontology description language and its compiler. Dissertação de mestrado, Universidade do Minho, Braga, Portugal, 2021. https://hdl.handle.net/1822/81340

Sítio oficial: https://epl.di.uminho.pt/~gepl/GEPL_DS/OntoDL/

José Carlos Ramalho e Salete Teixeira forneceram ontologias usadas na tese. Esses ficheiros não são copiados neste repositório; permanecem na página oficial de download.