@prefix : <https://auroral.iot.linkeddata.es/def/tests/car-booking#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <https://auroral.iot.linkeddata.es/def/tests/car-booking#> .

<https://auroral.iot.linkeddata.es/def/tests/car-booking#> rdf:type owl:Ontology .

#################################################################
#    Annotation properties
#################################################################

###  http://purl.org/dc/terms/description
<http://purl.org/dc/terms/description> rdf:type owl:AnnotationProperty .


###  https://w3id.org/def/vtc#belongsTo
<https://w3id.org/def/vtc#belongsTo> rdf:type owl:AnnotationProperty .


###  https://w3id.org/def/vtc#desiredBehaviour
<https://w3id.org/def/vtc#desiredBehaviour> rdf:type owl:AnnotationProperty .


#################################################################
#    Classes
#################################################################

###  https://w3id.org/def/vtc#TestCaseDesign
<https://w3id.org/def/vtc#TestCaseDesign> rdf:type owl:Class .


###  https://w3id.org/def/vtc#TestSuite
<https://w3id.org/def/vtc#TestSuite> rdf:type owl:Class .


#################################################################
#    Individuals
#################################################################

###  https://w3id.org/def/vtc#Test1
<https://w3id.org/def/vtc#Test1> rdf:type owl:NamedIndividual ,
                                          <https://w3id.org/def/vtc#TestCaseDesign> ;
                                 <https://w3id.org/def/vtc#belongsTo> <https://w3id.org/def/vtc#TestSuitecar-booking> ;
                                 <https://w3id.org/def/vtc#desiredBehaviour> "Reservation madeBy User" .


###  https://w3id.org/def/vtc#Test2
<https://w3id.org/def/vtc#Test2> rdf:type owl:NamedIndividual ,
                                          <https://w3id.org/def/vtc#TestCaseDesign> ;
                                 <https://w3id.org/def/vtc#belongsTo> <https://w3id.org/def/vtc#TestSuitecar-booking> ;
                                 <https://w3id.org/def/vtc#desiredBehaviour> "User makesReservation Reservation" .


###  https://w3id.org/def/vtc#Test3
<https://w3id.org/def/vtc#Test3> rdf:type owl:NamedIndividual ,
                                          <https://w3id.org/def/vtc#TestCaseDesign> ;
                                 <https://w3id.org/def/vtc#belongsTo> <https://w3id.org/def/vtc#TestSuitecar-booking> ;
                                 <https://w3id.org/def/vtc#desiredBehaviour> "Reservation relatedTo Vehicle" .


###  https://w3id.org/def/vtc#Test4
<https://w3id.org/def/vtc#Test4> rdf:type owl:NamedIndividual ,
                                          <https://w3id.org/def/vtc#TestCaseDesign> ;
                                 <https://w3id.org/def/vtc#belongsTo> <https://w3id.org/def/vtc#TestSuitecar-booking> ;
                                 <https://w3id.org/def/vtc#desiredBehaviour> "Vehicle hasAddress Address" .


###  https://w3id.org/def/vtc#Test5
<https://w3id.org/def/vtc#Test5> rdf:type owl:NamedIndividual ,
                                          <https://w3id.org/def/vtc#TestCaseDesign> ;
                                 <https://w3id.org/def/vtc#belongsTo> <https://w3id.org/def/vtc#TestSuitecar-booking> ;
                                 <https://w3id.org/def/vtc#desiredBehaviour> "User hasAddress Address" .


###  https://w3id.org/def/vtc#TestSuitecar-booking
<https://w3id.org/def/vtc#TestSuitecar-booking> rdf:type owl:NamedIndividual ,
                                                         <https://w3id.org/def/vtc#TestSuite> .


###  Generated by the OWL API (version 5.1.18) https://github.com/owlcs/owlapi/