Get Property Details
get_property_detailsRetrieve detailed property information from schema.gov.it including asserted and inherited domain/range, and redundancy analysis for semantic optimization.
Instructions
Get comprehensive details of a specific property from schema.gov.it, with explicit raw vs effective views.
Args:
propertyUri: URI of the property
mode: "raw" | "effective" (default: "effective")
source: "schema" | "local" | "hybrid" (default: "schema")
file_path / content / upload_id: local context when source="local" or source="hybrid"
Tip: Use search_concepts first if you do not know the URI.
mode: "raw" — only explicitly asserted triples:
definition: type, label, comment, rdfs:domain, rdfs:range, rdfs:subPropertyOf, owl:inverseOf, functional flags
mode: "effective" (default) — full inherited view, adds:
assertedDomain: rdfs:domain declared directly on this property
assertedRange: rdfs:range declared directly on this property
superproperties: ancestor chain via rdfs:subPropertyOf+, each with hasDomainLocally / hasRangeLocally flags
inheritedDomain: domain values from super-properties, each annotated with ancestor URI and label
inheritedRange: range values from super-properties, each annotated with ancestor URI and label
effectiveDomain: deduplicated union of assertedDomain + inheritedDomain
effectiveRange: deduplicated union of assertedRange + inheritedRange
redundancy_analysis: diagnostic view of each asserted value:
"redundant": identical to an inherited value — the axiom can be dropped without semantic loss
"specialization": a rdfs:subClassOf of an inherited value — genuinely narrows the domain/range
"new": not present in any inherited value — adds information not implied by the super-property chain
summary counts per category for quick overview
Interpreting the output:
If assertedDomain is empty but effectiveDomain is not → domain is inherited; no need to re-assert it on this property
If assertedDomain equals effectiveDomain → the domain is fully explicit, not relying on inheritance
Use redundancy_analysis.summary to immediately see if the local TTL has redundant axioms or genuine specializations
owl:equivalentProperty and owl:equivalentClass expansions are not included (use query_sparql for those)
Hybrid mode:
source="hybrid" uses the local/uploaded ontology as the base graph
it enriches missing super-property semantics from schema.gov.it when a super-property URI is known locally but absent from the local store
it still does not build a generic unified graph or guarantee full owl:imports resolution
When to use this vs X:
vs
inspect_local_property: use this for a property already published inschema.gov.it; useinspect_local_propertyfor a local/uploaded ontologyvs
query_sparql: use this for the standard semantic profile of one property; usequery_sparqlonly for custom questions not covered here
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| mode | No | "raw": only asserted triples. "effective" (default): adds assertedDomain/Range, super-property chain, inheritedDomain/Range, effectiveDomain/Range. | effective |
| format | No | RDF content type for inline content | |
| source | No | Execution context: "schema" for schema.gov.it, "local" for a local/uploaded ontology, "hybrid" for local base + schema.gov.it enrichment. | schema |
| content | No | Inline RDF content when source='local' or 'hybrid' | |
| file_path | No | Absolute path to a local ontology file when source='local' or 'hybrid' | |
| upload_id | No | Uploaded ontology store ID when source='local' or 'hybrid' | |
| propertyUri | Yes | URI of the property to inspect |