por que protegido não infere uma propriedade de dados neste caso

Eu tenho aulaRates1.0 que é uma subclasse da classe tem um valor1.0f para o predicadoratesBy como o seguinte: <!-- http://semanticrecommender.com/rs#Rates1.0 --> <owl:Class rdf:about="http://semanticrecommender.com/rs#Rates1.0"> ...

coruja - protege não inferindo corretamente? como definir com precisão uma classe “vegetariana”?

Diferença entre OWL-LIST e RDF-LIST

Não consigo entender a diferença entre OWL-LIST e RDF-LIST. Em segundo lugar porque OWL-DL não suporta RDF-LIST devido a serialização OWL por quê? e como eu ...

Restrições de OWL - definindo classes que contêm apenas propriedades com um valor de propriedade específico

Como definir meus próprios intervalos para DataProperties OWL

Recentemente comecei a aprender o Web Ontology Language (OWL). Eu quero definir um DataProperty com meu próprio intervalo de valor definido. Considere a segu...

Inferência do tipo OWL com restrição

Eu estou estudando a noção de restrições de OWL com o Protege 4 usando FaCT ++ e uma ontologia trivial. Suponha que eu tenha um indivíduo

Por que este DL-Query não está retornando nenhum indivíduo?

Este DL-Query não está retornando nenhum indivíduo:Consulta (sintaxe Protégé):

Inferencing in protege

Eu tenho uma ontologia simples como segue

OWL 2 rolification

Na lógica da descrição, existe um conceito chamado &quot;rolification&quot; (OWL e Regras, Sec 3.2). Converte um conceito (classe) em uma função (propriedade...

OWL 2 raciocinando com as regras do SWRL

Estou tentando usar oRaciocinador HermiT para calcular inferências para uma ontologia que contém um conjunto de axiomas OWL e uma regra SWRL: