ontology:philosurfical.owl#ASSUMPTION

@prefix ontology: <http://philosurfical.open.ac.uk/ontology/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix owl11: <http://www.w3.org/2006/12/owl11#> .
@prefix owl11xml: <http://www.w3.org/2006/12/owl11-xml#> .
@prefix phideas: <http://purl.com/net/phideas#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://philosurfical.open.ac.uk/ontology/philosurfical.owl#ASSUMPTION> a owl:Class ;
    rdfs:comment """++PhiloSURFical : Proposition that does not necessarily have a demonstration, but that is taken as true.
E.g. the assumption of 'goodness of god' in Descartes""" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom <http://philosurfical.open.ac.uk/ontology/philosurfical.owl#DEMONSTRATION> ;
            owl:onProperty <http://philosurfical.open.ac.uk/ontology/philosurfical.owl#DEVELOPED-IN> ],
        [ a owl:Restriction ;
            owl:allValuesFrom <http://philosurfical.open.ac.uk/ontology/philosurfical.owl#SCHOOL-OF-THOUGHT> ;
            owl:onProperty <http://philosurfical.open.ac.uk/ontology/philosurfical.owl#ASSUMED-IN-SCHOOL-OF-THOUGHT> ],
        [ a owl:Restriction ;
            owl:allValuesFrom <http://philosurfical.open.ac.uk/ontology/philosurfical.owl#THEORY> ;
            owl:onProperty <http://philosurfical.open.ac.uk/ontology/philosurfical.owl#ASSUMED-IN-THEORY> ],
        <http://philosurfical.open.ac.uk/ontology/philosurfical.owl#ARGUMENT-PART> .