Ontology Browser

Ontologies Classes Object Properties Data Properties Annotation Properties Individuals Datatypes Clouds

Annotation Property: 'for mapping'

Annotations (2)

dcterms:description "An owlstar mapping from an RDF* structure to an FOL axiom. TBD: Prover9 syntax vs CL"
rdfs:label "for mapping"

Usage (2)

'all-some all-times interpretation modifier' 'for mapping' "<<?s ?p ?o>> os:interpretation os:AllSomeAllTimesInterpretation -> all i,t : <<i a ?s>> os:context t -> exists j: <<j a ?o>> os:context t, <<i p j>> os:context t"
probability probability 'for mapping' "<<?s ?p ?o>> os:probability ?pr -> (probability (that (?p ?s ?o)) ?pr"