owl

General class Axioms

a 夏天 提交于 2019-12-12 03:19:09
问题 OWL AXIOM expressions: Given : owl:class sport Output: in addition to the existing owl:object properties i want to add the owl:object property player with the value Peter to every instance from type owl:class sport. That means that every individual from type owl:class sport should have this object property inherited with the value Peter. My first thought was to express it with a general class axiom. Here i am not really sure whether this a) possible and b) better to do it with a SPARQL update

How to express this individual in Description logic

ε祈祈猫儿з 提交于 2019-12-12 03:19:08
问题 I want to express this in dl, Protege view. How can I express the individual inclusive gateway1 which is from type inclusiveGateway? {inclusiveGateway} ≡ (inclusivegateway1) (inslusiveGateway2) name: inclusiveGateway id: inclusiveGateway1 gatewaydirection: unspec if a object property exists: flowsinto: task1 Couldn't find an example how to do it for this case, just some equivalanceRelation for different classes, eg. Man≡ Person 回答1: The problem that you mostly got no answer is that your

No output for rule in Jena using generic rule reasoner

[亡魂溺海] 提交于 2019-12-12 02:56:09
问题 I created an ontology in Protege and imported that ontology in Eclipse using Jena. I have written rules in rule file and want the output of the rules to be displayed in Jena but its not showing output. Program is getting executed without errors. The details of ontology are Thing Children 0-12Months 1-3Years 4-7Years 7-12Years Toys Bikes Building_Blocks Dolls Skates Stuffed_toys Added one datatype property playWith domain children and range Toys whose inverse is playedBy Added four inviduals

Actions in OWL, modeling

我的未来我决定 提交于 2019-12-12 02:53:09
问题 I have gone through this guide and I think that I understand it well. I understand that there are classes and instances of the classes and others. Basically i have a many statements which I have to verify against an Ontology. For example: Eshtablish flag at "area" by 0600h. Ex 2: Eshtablish fence between area1 and area2 by 0500h. and so I know for example area is an instance of a class, but there can be so many areas. I know that 0500 is a data property of a thing, an area in particular. The

OWL-API : Identify owl format based on its string contents

女生的网名这么多〃 提交于 2019-12-12 02:14:19
问题 I have owl files with different formats (RDF/XML , Turtle, Manchester OWL Syntax). I want to identify the format based on its contents as different format has its own style. E.g RDF/XML : <?xml version="1.0"?> <!DOCTYPE rdf:RDF [ <!ENTITY owl "http://www.w3.org/2002/07/owl#" > <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" > <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" > <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >]> <rdf:RDF xmlns="namespace#" xml:base="namespace"

Why am I getting different results using two different ways of validating my XML?

冷暖自知 提交于 2019-12-12 01:43:09
问题 I'm trying to validate an XML file with an XSD file, which doesn't work and I don't know why. I figured out that we could do it on terminal with that example : xmllint --noout --schema owl2-xml.xsd camera.owl But it produces an error, which I particularly don't understand. regexp error : failed to compile: expecting a branch after | owl2-xml.xsd:30: element pattern: Schemas parser error : Element '{http://www.w3.org/2001/XMLSchema}pattern': The value '([A-Z]|[a-z]|[À-Ö]|[Ø-ö]|[ø-˿]|[Ͱ-ͽ]|[Ϳ-῿

Recursive object property in owl

☆樱花仙子☆ 提交于 2019-12-12 00:13:59
问题 Can we model an object property to be recursive in owl? If not is there any work around? E.g. I want to define workflow as a class in owl. Task and getSubTasks are class and object property in my ontology respectively. I want to model workflow as combination of task and getSubTasks fetched recursively. 回答1: It sounds like you want to declare that getSubTasks , or some superproperty of it, is a transitive property, which you can do in OWL. E.g., if you have a class Task , a property

How to get annotations from owl individual using OWLAPI

依然范特西╮ 提交于 2019-12-11 18:58:51
问题 I already know how to get annotations from OWL classes (see the java code below). But I'm not able to get annotations from OWL individuals. Could anybody please tell me how to code the same functionality for an OWLIndividual instead of an OWLClass? Thankyou! IRI iri = IRI.create("http://www.example.com/ontology/108024893-n"); //class IRI OWLClass clazz = manager.getOWLDataFactory().getOWLClass(iri); for (OWLAnnotation annotation : clazz.getAnnotations(ontology)) { System.out.println("

comparing an classes of ontologies to an xml document nodes

走远了吗. 提交于 2019-12-11 17:46:59
问题 My objective is to compare an ontology to a provided XML document by searching nodes from the document having the same name as the ontology classes. To do so, I use the following code : public void freqConcept(String xmldoc,OWLClass node){ try { String filepath = xmldoc; DocumentBuilderFactory docFactory = DocumentBuilderFactory.newInstance(); DocumentBuilder docBuilder = docFactory.newDocumentBuilder(); Document doc = docBuilder.parse(filepath); doc.getDocumentElement().normalize(); list =

Referring to a concept in a not-imported ontology

二次信任 提交于 2019-12-11 15:26:08
问题 I want to refer to concepts defined in other ontologies, using only the respective concepts URI, without importing the outer ontology . I think that this is compatible with OWL semantics, using owl:equivalentTo property. Can somebody confirm that this is correct? Furthermore, could someone provide me with an example on how to do it (preferably using Protege)? 回答1: Assume there is an ontology anOnt: in which there is a term anOnt:Term that you want to reuse in your ontology yourOnt: . You may