ontology

I have an RDFS ontology with two completely separate classes: User and Venue . I want them both to have names which are provided through a property called hasName , which for a User should look similar to: <rdf:Property rdf:ID="hasName"> <rdfs:comment> Comment here. Blah blah blah. </rdfs:comment> <rdfs:domain rdf:resource="#user"/> <rdfs:range rdf:resource="Literal"/> </rdf:Property> However, if I want it for a Venue as well, it doesn't validate. How should I approach this? You can in principle just specify multiple domain properties: <rdf:Property rdf:ID="hasName"> <rdfs:domain rdf:resource=

I'm trying to load an ontology in Protégé but it is not processed as expected. Most problematic is that all the Object and Data Properties appear as Annotation instead of Data Property and Object Property. I have an Object Property kingdom : <owl:ObjectProperty rdf:about="&wo;kingdom"> <rdfs:label xml:lang="en">kingdom</rdfs:label> <rdfs:comment xml:lang="en">associates a taxon rank with a kingdom</rdfs:comment> <vs:term_status>testing</vs:term_status> <rdfs:range rdf:resource="&wo;Kingdom"/> <rdfs:domain rdf:resource="&wo;TaxonRank"/> </owl:ObjectProperty> /nature/life/Chordate#kingdom has

I just start to learn Semantic Web and have a question about restriction class. I dug a while but haven't found any answer yet.. Any help would be much appreciated! From text book, I see examples of define restriction class, they are all about to define a anonymous owl:Restriction class bnode and link this bnode with property owl:equivalentClass . example: example:restrictionClass owl:equivalentClass [ rdf:type owl:Restriction; owl:onProperty example:resProp; owl:someValuesFrom example:resValue. ] My question is can we define a restriction class directly? Like: example:restrictionClass rdf

I have been stuck for two days now trying to understand why the following scenario isn't working: screenshots here: http://dl.dropbox.com/u/4677548/screenshots.html I have a VegetarianFood class (subclass of Food) that is equivalent to "Food and (Eggs or MilkAndDerivates or VeganFood)" as you can see in the screenshot number 1 The VeganFood class, on turn, is equivalent to other classes (NutsAndSeeds, Cereals, Fruit, etc...) screenshot 2 as you can see there are two individuals (cheddar cheese and cashew) created as MilkAndDerivates and NutsAndSeeds screenshot 3 and they are correctly inferred

The general problem I'm working on a simple ontology, using Protégé 4.3 and trying to create a model such that every instance of a class C has some particular value v , which is an instance of a class V , for a given property p . I can get this inference using an axiom C subClassOf (p value v) but I think I want to be able to state this more along the lines of a C subClassOf (p some V) because I'd actually like each instance of C to be related to every instance of V . A specific example My example is automobiles and actions — I want to create a set of actions for automobiles. When I create new