AirData Logo AirData Ontology

Relatório de Axiomas Lógicos OWL

Resumo Geral

Métrica Valor
Score Total de Riqueza Lógica 0.33/10
Classificação Precisa Melhorar - Poucos axiomas lógicos

Detalhamento por Categoria

Categoria Score
Cardinalidade 0.0/10
Disjunção 0.0/10
Características de Propriedades 1.32/10
Restrições Complexas 0.0/10
Propriedades Inversas 0.0/10

Análise Detalhada

Restrições de Cardinalidade

MétricaValor
Total de restrições OWL0
owl:cardinality (exata)0
owl:minCardinality0
owl:maxCardinality0
Cobertura (% propriedades)0.0%

Classes Disjuntas

MétricaValor
Pares disjuntos (owl:disjointWith)0
Conjuntos disjuntos (owl:AllDisjointClasses)0
Classes com disjunção0
Cobertura (% classes)0.0%

Características de Propriedades

TipoQuantidade
Functional1
Inverse Functional1
Symmetric0
Transitive0
Reflexive0
Irreflexive0
Total com características2

Restrições Complexas

TipoQuantidade
owl:allValuesFrom (∀)0
owl:someValuesFrom (∃)0
owl:hasValue0
Total0

Propriedades Inversas

MétricaValor
Pares de inversas (owl:inverseOf)0
Propriedades com inversa0
Cobertura (% propriedades)0.0%

💡 Recomendações para Próxima Versão

ALTA Cardinalidade
Apenas 0 restrições de cardinalidade
💡 Adicionar owl:minCardinality, owl:maxCardinality ou owl:cardinality em propriedades críticas
ALTA Disjunção
Apenas 0 classes têm owl:disjointWith
💡 Declarar classes mutuamente exclusivas como disjuntas (ex: Aircraft e Airport)
MÉDIA Características
2 propriedades com características
💡 Marcar propriedades como Functional, Symmetric, Transitive conforme semântica
MÉDIA Inversas
0 propriedades têm owl:inverseOf
💡 Criar propriedades inversas (ex: hasParent ↔ isParentOf) para facilitar queries SPARQL bidirecionais
Relatório gerado automaticamente em 2026-01-27T19:21:48.269275
Arquivo analisado: /home/guterres/Dropbox/Agents/airdata-owl/OntoOwl/airdata_owl_v0.0.2.owl
IMPORTANTE: Este relatório apenas diagnostica. Edições devem ser feitas manualmente no Protégé.