protege

I have a class Rates1.0 that is a sub class of the class the has a value 1.0f for the predicate ratesBy as the following: <!-- http://semanticrecommender.com/rs#Rates1.0 --> <owl:Class rdf:about="http://semanticrecommender.com/rs#Rates1.0"> <rdfs:subClassOf rdf:resource="http://semanticrecommender.com/rs#Rates"/> <rdfs:subClassOf> <owl:Restriction> <owl:onProperty rdf:resource="http://semanticrecommender.com/rs#ratesBy"/> <owl:hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#float">1.0</owl:hasValue> </owl:Restriction> </rdfs:subClassOf> </owl:Class> the predicate ratesBy is both data

It's almost a year since Unable to download Pellet plugin for Protege 4.3 suggested that it's not available for this version. Has anything changed? It should be possible to download it from their github and just drop it into Progégé's plugins folder: https://github.com/Complexible/pellet/raw/master/protege/plugin/com.clarkparsia.protege.plugin.pellet.jar 来源： https://stackoverflow.com/questions/35663220/how-to-enable-pellet-in-protege-4-3-0

I have developed an ontology and I want to add the following SWRL in protege: Divider_intersection(?node), is_extent_of(?node, ?s), builds(?s, ?l),Segment(?s),Lane(?l),detailed_partition(?d), builds(?l, ?d)-> is_divided_at(?d, ?node) with this I wish to add an object property, is_divided_at, between an individual from detailed_partition (?d) and a node that is classified as a divider_intersection if it is the extent of a segment (?s) that build a lane (?l) which then build the detailed?partition (?d). As noted here, I am looking for NamedIndividuals, hence I presume the SWRL should do the job.

Let's say we have two classes named People and Disease . These classes are related by the Object Property has . :People :has :Disease People has subclass (or individual) John , and Disease has subclass (or individual) Cancer . :John a :People :Cancer a :Disease How can we get the relationship between these subclasses by inference? :John :has :Cancer Before you can get to an answer, there are a number of misconceptions you'll need to resolve. First, subclass and individual are very different concepts. Individuals (instances) are members of classes. Subclass denotes a class is a subset of

I think I am going crazy! I have followed the various tutorials for Owl and Protege and still cannot figure out the answer. Use case is simple. I have defined a class called ‘Person’. I have defined a data property called hasFirstName. I have added a ‘subclass of’ restriction to Person like this : ‘hasFirstName exactly 1 string’. I have also added an individual called Alex of type Person, and have not added the hasFirstName property. I expect the reasoner to complain as I have specified the cardinality of 1, and asserted that Alex is a Person, but have not added the property value to Alex

I have question based on the topic: SOF - Einstein puzzle in OWL In the owl, all cardinality restrictions are based on functional and inverse functional properties of Object Properties. I have remodeled it using QCRs. Old model (example): man drinks some beverage; drinks -> functional, inferse functional New model /EDITED/ : man drinks exactly 1 beverage; beverage drinkedBy exactly 1 man; drinks -> domain:man, range:beverage drinkedBy -> domain:beverage, range:man drinks inverseOf drinkedBy I replaced all "some" with "exactly 1". I think the first type is equivalent to the second model, but

is it possible to use Arbitrary Length Path Matching in protege SPARQL query tab? You are using the Snap SPARQL Query Plugin , not the SPARQL Query plugin . Unlike the SPARQL Query plugin, the Snap SPARQL Query plugin supports querying over inferred knowledge, but does not support property paths. From Snap-SPARQL: A Java Framework for working with SPARQL and OWL (section 4): SPARQL 1.1 contains property path expressions that allow regular-expression-like paths of properties to be matched. However, these are not supported by the Snap-SPARQL framework. While this would be a significant