Semântica formal de OWL2
23 Abril 2020, 09:30 • João Balsa da Silva
Mais alguns exemplos de inferências (e inconsistências).
Caracterização rigorosa de uma Ontologia em OWL 2:Especificação Estrutural e Semântica Formal de OWL 2.
Lógicas de descrição.