On Wed, Nov 5, 2014 at 3:35 PM, Karen Coyle <[log in to unmask]> wrote:
Another caveat:

If bf:workTitle is sub-class bf:Title, then this is inferencially consistent:

:X a bf:Work
      bf:workTitle[  a bf:Title  ;
            bf:titleValue"Heart of Midlothian"  ]  .

:Y a bf:Instance
      bf:workTitle[  a bf:Title  ;
            bf:titleValue"The heart of Midlothian"  ]  .

I'm not quite sure what you're trying to say here, but I will try and make some guesses. 

I will assume:
  1. :X is a bf:Work. 
  2. :X has a value of bf:workTitle something that is a bf:Title which has as a value of bf:titleValue the string "Heart of midlothian". 
  3. :Y is a bf:Instance. 
  4. :Y has a value of bf:workTitle something that is a bf:Title which has  as a value of bf:titleValue the string "The heart of Midlothian". 
Using named individuals for the titles and giving OWL property and class definitions directly, we have (in turtle)

:Instance rdf:type owl:Class .
:Title rdf:type owl:Class .
:Work rdf:type owl:Class .

:workTitle a owl:ObjectProperty ;

rdfs:range :Title 

rdfs:domain :Work .

:titleValue a owl:DatatypeProperty ;

rdfs:domain :Title ;

rdfs:range rdf:PlainLiteral .

:X rdf:type :Work ,

owl:NamedIndividual ;

:workTitle :t1 .

:t1 rdf:type :Title ,

owl:NamedIndividual ;

:titleValue "Heart of midlothian" .

:Y rdf:type :Instance ,

 owl:NamedIndividual ;

 :workTitle :t2 .

:t2 rdf:type :Title ,

owl:NamedIndividual ;

:titleValue "The heart of Midlothian" .

and bf:workTitle is never of class bf:Work (because class-ness only "flows" from property to subject, not vice versa). 
 
bf:workTitle is not an instance of class bf:Work; it is an instance of owl:ObjectProperty (and/or  of rdf:Property ). 

I am not quite sure what you mean by class-ness flowing from property to subject . 

You can infer class from the range or domain of properties.  In the general case, you cannot infer that a property entails a more specific sub-property given just simple domain and range constraints.   
 
So a SPARQL query of "get me all the triples for class=bf:Work" will retrieve
 
:X a bf:Work

under an rdfs entailment regime or greater, a query for :Work in the value position will return :X and :Y . 
 
but never bf:workTitle, regardless of what graph it is found in. You *will* however be able to query for all bf:Title(s).

If the graph union includes the ontology, and the sparql query includes  "?S ?P :Work" , you will get bf:workTitle rdfs:domain :Work  . 

That doesn't seem to be what you were asking for though. 

If you can clarify your question I may be able to give a more useful answer.