Is it possible to make property assertions on class level in OWL 2?
inheritance,semantic-web,owl,description-logic
I would like to make this property assertion "on the class" in such a way that a reasoner could infer the property to be had by all of its members, thus without needing an explicit assertion for each. (obtaining something similar to a class-based object-oriented property inheritance) If you...
Inheritance of property characteristic by sub-properties
In OWL, is a sub-property of an irreflexive property also irreflexive? Likewise is a sub-property of an asymmetric property also asymmetric? Yes. The logical formulation is in OWL 2 Web Ontology Language Direct Semantics (Second Edition): 2.3.2 Object Property Expression Axioms Satisfaction of OWL 2 object property expression axioms...
Cyclic or Acyclic TBox
semantic-web,owl,description-logic
A ⊑ ¬E E ⊑ ¬A This TBox doesn't really say anything except that the classes A and E are disjoint. The subclass relations could be read as implications: If something is an A, then it is not an E. If something is an E, then it is not...
How to classificate individuals in a class by specific condition on protege?
sparql,semantic-web,owl,protege4,description-logic
I think that you mean something like this: PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX urPrefx :<http://YOUR ONTOLOGY PATH HERE> SELECT ?r (COUNT( DISTINCT ?r) AS ?countNo) WHERE { #Query 1.1 Where urPrefx:greaterOrEqualThan is a restricted property ?data_property_individual_categorie rdfs:subPropertyOf urPrefx:greaterOrEqualThan. #Query 1.2 Get all the action classes with those restricted...