QCRs vs functional property...

Why does not this DL query return expected results?...

Instances and Slots in CLIPS...

Any good choice for identifying missing datatype property values on Protege OWL?...

Protege DL query; This reasoner only supports named classes...

Is property with exact cardinality one functional?...

Superclasses header not available in Protege 4.3...

Add Mathematical Equation in Protege...

How save the result of reasoner FaCT++ or HermiT in Protege...

Return System.out to String...

Using enumerated data type in defining property value for individual in Protege...

Protege Reasoner popups errors after writing dataTypeProperties using Jena...

Jena's subquery intersection returns empty contrary to the results from Protégé/TopBra...

owl:ObjectProperty and reasoning...

How to create individuals of a specific class using Jena?...

How to define composition properties on Protege?...

Make every value of one property less than every value of another property?...

Explain inference in Jena...

Protege exactly 1 cardinality OWL restriction not raising an inconsistency...

Protégé 4.3 : Ontology consistency...

Using Property Chains to get inferred Knowledge in an OWL Ontology(Protege)...

querying the owl ontology...

Importing Individuals from a text file into an OWL Ontology (Protege)...

Compare Data Property values using Protege and Fact++...

Disjunction inside SWRL rule...

Why Protege makes a copy of DatatypeProperty as ObjectProperty...

Protégé - How can I rename an object property?...

no inferences with DL queries in OWL - API...

OWL DL Query on Symmetric property...

owl override property restriction in subclass...