owl

I'm using Protégé 4.3 and I want to save the results of the reasoner to the ontology file. When I stopped the reasoner, all results disappeared. How can I save results? Ignazio In Protégé, use File → Export inferred axioms as ontology… That should do what you're looking for. 来源： https://stackoverflow.com/questions/23079459/how-save-the-result-of-reasoner-fact-or-hermit-in-protege

This the code I am using to load OntModel to a Dataset as a Named Model. Then I try to retrieve the PrefixMapping for the same in two different ways: public static void loadDatasetwithNamedModels(){ OntModel namedModel = null; Dataset dataset = null; dataset = TDBFactory.createDataset("./path/to/TDB_DIR"); namedModel = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM); dataset.begin(ReadWrite.WRITE); try{ namedModel = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM); FileManager.get().readModel( namedModel, "./Path/to/OWLFile.owl"); dataset.addNamedModel("MyNamedModel", namedModel);

I am trying to extract RDF triples from XML files by using an existing ontology. I am using Java, and can use XPath to extract data from XML and Jena to read and write RDF documents and ontologies. How can I extract the relevant triples from the XML according to the existing ontology? Forget about XPath to extract triples, it way easier and less problematic with Jena. You can use the interface SimpleSelector together with model.listStatements from Jena. In this example I am using SimpleSelector to find all the triples with a single property but you can implement the any search you need by

I am a newbie coding with the Manchester syntax for OWL . I need to understand the role of exactly . Which of these restrictions is correct: (hasChild (A or B)) and (hasChild exactly 1 Thing) (hasChild (A or B)) and (hasChild exactly 2 Thing) (hasChild (A and B)) and (hasChild exactly 1 Thing) (hasChild (A and B)) and (hasChild exactly 2 Thing) Can you explain it when A and B are equivalent, and when they are disjoint? The meaning of class expressions is defined in section 2.2.3 Class Expressions of the OWL 2 Web Ontology Language Direct Semantics W3C recommendation. The four class expressions

I want to programmatically generate an ontology using OWL by supplying a vector. My goal is to be able to open the produced OWL file in Protégé and make use of Jena. Input Vector The vector which i want to pass: [[layer, network layer, data link layer, physical layer], [network, computer network], [data link], [ontology, ontology extraction]]. Expected Output The output should have the following tree-like hierarchy structure: layer -network layer -data link layer -physical layer network -computer network ontology -ontology extraction data link The hierarchical structure, where network layer is

What I want to do is to get the property list from the Individual1 or from a class, Get all properties from "something" The result should be something like this (for Secret_Data): | Asset_has_Confidentiality_Importance | High | | Asset_has_Availability_Importance....| Moderate | | Asset_has_Integrity_Importance.......| Moderate | | Asset_threatenedBy_ThreatEvent.......| Compromise_sensitive_information | | Asset_threatenedBy_ThreatEvent.......| Disclosure_of_sensitive_information | | Asset_threatenedBy_ThreatEvent.......| Exploit_exposed_unauthorized_information | | Asset_threatenedBy

I'm trying to test a simple SWRL rule. There are three Classes in my ontology: LivingPlace which has two sub-classes RuralArea and City. LivingPlace is the domain of the dataProperty hasHospital which has the range boolean. When I test the following rule with Pellet reasoner, the individual I created as a member of LivingPlace is also inferred as a member of RuralArea. LivingPlace(?lp), hasHospital(?lp, false) → RuralArea(?lp) However, what I really want to do is the reverse of this reasoning. RuralArea(?lp) → hasHospital(?lp, false) Whenever I create an individual of type RuralArea, I want