What is data range expression protege?
May question is a bit basic. But I do not know what happens when we define "data range expressions" in protege? Does it limit the range only to the literals written there? In what cases can we use "data range expressions?"
Below is an example that I saw in an ontology:
The semantics of data property domains and ranges are given by
which you can find defined in the direct semantics of OWL 2.
This means that for every 2 individuals x and y that are related by a data property DPE, that x is of type CE and y is of type DR.
In your example it means that if x and y are related via test type then the reasoner will infer x is of type Concrete placement OR Test and y is of type {"Self-inspection", "Third-Party Monitoring"}.
Update based on comment
This means that if individual y does not have the value of either "Self-inspection" OR "Third-Party Monitoring", it will result in the ontology being inconsistent.
So, yes, the user has to choose between these 2 values.
- Dynamic Spring Data Classes for Neo4J based on an Ontology
- RDF: should the ontology and the statements be separate?
- Loading an Ontology in Python
- How would you model that a potential relationship exists between two classes, but doesn't always?
- Combining reasoners in OWL API for OWL DL + SQWRL support
- What does rdfs:domain and rdfs:range mean?
- How the pattern of URIs for an rdf graph should look like
- Use the reasoner of the library owlready2 on an ontology already in a file
- SWRL rules in OWL 2
- How to get the lowest subclass of an instances in an rdf graph?
- Extract a fraction of an ontology that is expressed by OWL-Full
- Knowledge Graph vs Ontology vs RDF Graph
- What is the difference between dublin core terms and dublin core elements vocabularies
- When defining a class in OWL, how to constrain that an object property must refer to the same individual as another object property?
- How to create an ontology from raw data (CSV)?
- Ontology reasoning: How do i make subclasses work?
- How to create data property of type URL in protege
- How to perform existential quantification inferences in ontologies?
- Using SHACL to validate if one specific language tag is present in repeated annotation properties
- OWL reasoners in owlready2 : how to reduce computation time
- Does SWRL Protege Drools engine infer knowledge from owl:equivalentClass?
- is background list of genes in CluoGO in Cytoscape are modify for gene enrichment analysis?
- When to use rdf:Type vs rdfs:subClassOf
- owlready2: create FunctionalProperty to multiple classes
- Can disjoint classes in an ontology share the same data properties?
- Searching for a naming convention for properties in an OWL ontology when coming from an UML Model
- Converting UML to OWL Ontology
- How can I find the path distance between any two entities in wikidata? Also, how can I found the path length from the very top of the taxonomy?
- Protege import schema from schema.org
- Missing SWRL tab in Protege 4