description-logic

I would like to define the range of a data type property as an exhaustive enumeration of strings, in a way that an individual could have as value of this property only one of the strings in the enumeration. For example, a data type property called "color", which can assume only 3 values: "Red", "Green" and "Blue". I'm using OWL 2, and Protégé 5.0. Is there an easy way of doind that using Protégé? I don't seem to be able to find an exact duplicate question, though I think that this may have been asked before. In Protege, you can use a datatype expression to represent an enumeration of literals.

How can I add qualified cardinality restriction in Jena? I can not use createCardinalityQRestriction because the OntModelSpec is for the first version of OWL, not OWL2. In ModelFactory's createOntologyModel, is there a way to create an OWL2 ontology? I need a class expression like JeVysledkom exactly 1 Kolik_Fazovy I've tried using this code: OntModel ontModel = ModelFactory.createOntologyModel(); OntClass ret = ontModel.createCardinalityQRestriction(null, ontProperty, cardinality, ontClass2 ); ontClass.addSuperClass(ret); but I get this exception: com.hp.hpl.jena.ontology.ProfileException:

In my Ontology I have three classes, Player , Team , and Competition . I also have the two object properties, employs , and competesIn . The domain of employs is Team , and the range Player , the domain of competesIn is Team or Player and the range Competition . I want the Ontology to infer that if a Player is employed by a Team and that Team competes in a Competition then the Player also competes in that Competition . Is there any way to add this information to an Ontology without putting in the {Player} competesIn {Competition} for every single individual in the ontology? Joshua Taylor First

I want to query all subclass of Nicotine (product). the result must be (Nasal form nicotine, Oropharyngeal from ni ..(4 items).. see in the picture) i try to query by rdfs:subClassOf+ and owl:equivalentClass+ but didn't work try from this example the code same here. PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> SELECT * WHERE { ?s owl:equivalentClass+ ?o . # and try ?s rdfs:subClassOf ?o filter(?s=<http://snomed.info/id/323283001>) } this image from protege Thank. The first query hard

In description logic, there is a concept called "rolification" ( OWL and Rules, Sec 3.2 ). It converts a concept (class) into a role (property). For example, when we rolify R(x) , we get r(x,x) . This technique is useful for expressing some rules in DL. How do we do this in OWL 2? It seems that there is no direct support for rolification in OWL 2 specification . Section 3.2 of the paper that you linked to says: It is indeed possible to translate this rule into OWL 2—however this involves a transformation which we call rolification: The rolification of a concept A is a (new) role R A defined by