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.