# DISPONTE

DISPONTE it is inspired by the Distribution Semantics, made famous by Taisuke Sato in 1995. The basic idea is to annotate axioms of an ontology (by means of OWL annotations) with a probability, for example, in the axiom
0.6 :: Cat is-a Pet

the probability value specifies a degree of belief in the truth of the axiom and is intended as an epistemic probability.

## Probability

DISPONTE probability is the probabilistic annotation that must be used in the knoweldge bases adopting the DISPONTE semantics for defining probabilistic axioms.

The main IRI is:

`https://ai.unife.it/disponte#probability`

You can also indifferently use the following IRI:

`https://ml.unife.it/disponte#probability`

The probabilistic axiom 0.6 :: Cat is-a Pet can be defined using all the OWL syntaxes. In the following some example using different syntaxes.

##### OWL/XML syntax
```<SubClassOf>
<Annotation>
<AnnotationProperty IRI="https://ai.unife.it/disponte#probability"/>
<Literal datatypeIRI="&rdf;PlainLiteral">0.6</Literal>
</Annotation>
<Class IRI="#cat"/>
<Class IRI="#pet"/>
</SubClassOf>```
##### OWL Functional syntax
`SubClassOf(Annotation(<https://ai.unife.it/disponte#probability> "0.6") :cat :pet)`
##### Turtle syntax
```:cat rdf:type owl:Class ;
rdfs:subClassOf :pet .

[ rdf:type owl:Axiom ;
owl:annotatedSource :cat ;
owl:annotatedProperty rdfs:subClassOf ;
owl:annotatedTarget :pet ;
<https://ai.unife.it/disponte#probability> "0.6"
] .```