I'm using virtuoso open-source for my college project and I have been trying to do rdfs reasoning on a sample dataset
```sparql
@prefix : <http://example.com/ont#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:Person a rdfs:Class ;
        rdfs:label "Person" .

:Man a rdfs:Class ;
     rdfs:subClassOf :Person ;
     rdfs:label "Man" .

:Woman a rdfs:Class ;
       rdfs:subClassOf :Person ;
       rdfs:label "Woman" .

:likes a rdf:Property ;
       rdfs:domain :Person ;
       rdfs:range :Person ;
       rdfs:label "likes" .

:John a :Man ;
      :likes :Mary .

:Mary a :Woman .
```

I want to add  new triplets `Jhon rdfs:type Person` and `Mary rdfs:type Person`, I tried a SPARQL query 
```sparql
SPARQL
@prefix : <http://example.com/ont#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
INSERT INTO GRAPH <http://example.com/ont#>
{
?person rdfs:type ?cls .
}
WHERE
{
     GRAPH <http://example.com/ont#>
     {
          :Man rdfs:subClassOf ?cls .
          ?person rdfs:type :Man .
          :Woman rdfs: subClassOf ?cls .
          ?person rdfs:type :Woman .
      }
}
```
When I run the `isql` shell it runs successfully but it doesn't insert any triplets in the graph, I'm a little confused here, can you guys please help me out.?
Does virtuoso support reasoning and inference.?
This is a GitHub Issue
repo:virtuoso-opensource
owner:openlink
Title : Does virtuoso support reasoning and inference.?
Issue date:

--- start body ---
I'm using virtuoso open-source for my college project and I have been trying to do rdfs reasoning on a sample dataset
```sparql
@prefix : <http://example.com/ont#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:Person a rdfs:Class ;
        rdfs:label "Person" .

:Man a rdfs:Class ;
     rdfs:subClassOf :Person ;
     rdfs:label "Man" .

:Woman a rdfs:Class ;
       rdfs:subClassOf :Person ;
       rdfs:label "Woman" .

:likes a rdf:Property ;
       rdfs:domain :Person ;
       rdfs:range :Person ;
       rdfs:label "likes" .

:John a :Man ;
      :likes :Mary .

:Mary a :Woman .
```

I want to add  new triplets `Jhon rdfs:type Person` and `Mary rdfs:type Person`, I tried a SPARQL query 
```sparql
SPARQL
@prefix : <http://example.com/ont#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
INSERT INTO GRAPH <http://example.com/ont#>
{
?person rdfs:type ?cls .
}
WHERE
{
     GRAPH <http://example.com/ont#>
     {
          :Man rdfs:subClassOf ?cls .
          ?person rdfs:type :Man .
          :Woman rdfs: subClassOf ?cls .
          ?person rdfs:type :Woman .
      }
}
```
When I run the `isql` shell it runs successfully but it doesn't insert any triplets in the graph, I'm a little confused here, can you guys please help me out.?
--- end body ---
