protege

问题 In the following Ontology I'm trying to make Boy the complement of Girl by using OneOf however using Fact++ or Hermit I'm unable to get any instances by querying for Boy (Protege 5.2 DL query), any suggestions? :Bob rdf:type owl:NamedIndividual , :Person . :Mike rdf:type owl:NamedIndividual , owl:Thing . :Sarah rdf:type owl:NamedIndividual , :Girl. :Person rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Class ; owl:oneOf ( :Bob :Mike :Sarah ) ] . :Girl rdf:type owl:Class ; owl

问题 I want to be able to infer which ingredients go well together given...their properties and which properties complement each other. I have an ontology like, owl:Thing Ingredient Kale Pear Taste Bitter Sweet owl:topObjectProperty hasTaste tasteComplements goesWellWith Individuals: (*would rather work with just classes) kale a Kale pear a Pear bitter a Bitter sweet a Sweet I've asserted, Kale subClassOf hasTaste some Bitter Pear subClassOf hasTaste some Sweet Bitter subClassOf tasteComplements

问题 what's the level of support of SPARQL in protege 5.2.0 SPARQL Query Plugin 2.02? I tried using FILTER STRSTARTS(STR(?subject), STR(prefix:)) and I get Unknown function 'http://www.w3.org/2005/xpath-functions#starts-with' I can't seem to find a listing with the supported functions and capabilities. Thanks 来源： https://stackoverflow.com/questions/53299218/sparql-support-protege-5

问题 I'd like to use Jena's inference capabilities, but I'm having some performance problems when I am using InfModel. Here's a simplified overview of my ontology: Properties: hasX (Ranges(intersection): X, inverse properties: isXOf) |-- hasSpecialX (Ranges(intersection): X, inverse properties: isSpecialXOf) isXOf (Domains(intersection): X, inverse properties: hasX) |--isSpecialXOf (Domains(intersection): X, inverse properties: hasSpecialX) Furthermore there's a class 'Object': Object hasSpecialX

问题 I cannot understand the difference between OWL-LIST and RDF-LIST. Secondly why OWL-DL do not support RDF-LIST due to OWL serialisation why? and how i can create OWL-LIST in OWL-DL 回答1: As mentioned in the comments, I don't think that there is any standard thing called OWL-LIST. There is a CO-ODE List Ontology that might be of interest to you if you need to represent lists in OWL: Description A set of entities used to describe the OWL list pattern. (see http://owl-workshop.man.ac.uk

问题 I cannot understand the difference between OWL-LIST and RDF-LIST. Secondly why OWL-DL do not support RDF-LIST due to OWL serialisation why? and how i can create OWL-LIST in OWL-DL 回答1: As mentioned in the comments, I don't think that there is any standard thing called OWL-LIST. There is a CO-ODE List Ontology that might be of interest to you if you need to represent lists in OWL: Description A set of entities used to describe the OWL list pattern. (see http://owl-workshop.man.ac.uk

问题 This DL-Query is not returning any individuals: Query (Protégé syntax) : hasPet exactly 1 DomesticAnimal Here's part of the ontology: :hasPet a owl:ObjectProperty; rdfs:domain :Human; rdfs:range :DomesticAnimal; owl:inverseOf : petOf; :Joe a :Human; hasPet :Lassy. :Bob a :Human; hasPet :Sparkey, Lucky. Queries: petOf value Bob returns Sparkey and Lucky petOf value Joe returns Lassy hasPet exactly 1 returns nothing. Why isn't the last query returning Joe ? I have tried it with in Protégé with

问题 I would like to update a data property assertion using sparql, but I get the malformed query exception at the delete statement when I try to run this in Protege. I'm very new to sparql and I can't figure out what's wrong with this query : PREFIX m: <http://www.semanticweb.org/exemple#> DELETE { ?o owl:minQualifiedCardinality ?min. } INSERT { ?o owl:minQualifiedCardinality “2000”^^xsd:decimal. } WHERE { m:Revenu rdfs:subClassOf ?o. ?o owl:minQualifiedCardinality ?min. } 回答1: Have a look at

问题 I'm new to onotlogy and Java. I learn it now and have some theoretical knowledge. I use "apache-jena-3.1.0" in Eclipse and Protege editor 5.0.0 beta 23. First of all, I created a simple ontology in Jena. Something like that: public static void main(String[] args) { OntModel m = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM); ... OntClass gen1 = m.createClass(st + "Generation_1"); OntClass gen2 = m.createClass(st + "Generation_2"); ... ObjectProperty hasParent = m.createObjectProperty

问题 I was hoping I could defined Elective_Course in such a way that all individuals that are partOf a Knowledge_Unit and are not of type Core_Course are Elective_Course s. For Course I have this: I thought maybe something on the lines of (partOf only Knowledge_unit) and not(Core_Course) would do the trick, but it doesn't work. Maybe it is because I need and only with the inverse property of partOf , but I haven't defined that property since I didn't need it for the rest. So I could say in