OCL
E699641
OCL (Object Constraint Language) is a formal language used to describe expressions and constraints on UML models in a precise, machine-readable way.
All labels observed (6)
| Label | Occurrences |
|---|---|
| OCL canonical | 5 |
| Object Constraint Language | 2 |
| OCL 2.0 | 1 |
| OCL 2.4 | 1 |
| OCL 2.5 | 1 |
| OMG OCL specification | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T7936749 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: OCL Context triple: [Object Management Group, knownFor, OCL]
-
A.
OCL
OCL is the commonly used abbreviation for the OFC Champions League, the premier club football competition in Oceania organized by the Oceania Football Confederation.
-
B.
Objectory
Objectory is an object-oriented software development methodology created by Ivar Jacobson that introduced use cases and significantly shaped modern modeling approaches later incorporated into UML.
-
C.
OLCN
OLCN is the Office of the Languages Commissioner of Nunavut, an independent body that oversees and promotes the protection and use of Nunavut’s official languages.
-
D.
OCI
OCI is Oracle's cloud computing platform that provides infrastructure, platform, and related services for building and running applications in the cloud.
-
E.
OCI
OCI refers to Overseas Citizens of India, a category of foreign nationals of Indian origin who are granted certain long-term residency and travel privileges in India without full citizenship.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: OCL Target entity description: OCL (Object Constraint Language) is a formal language used to describe expressions and constraints on UML models in a precise, machine-readable way.
-
A.
OCL
OCL is the commonly used abbreviation for the OFC Champions League, the premier club football competition in Oceania organized by the Oceania Football Confederation.
-
B.
Objectory
Objectory is an object-oriented software development methodology created by Ivar Jacobson that introduced use cases and significantly shaped modern modeling approaches later incorporated into UML.
-
C.
OLCN
OLCN is the Office of the Languages Commissioner of Nunavut, an independent body that oversees and promotes the protection and use of Nunavut’s official languages.
-
D.
OCI
OCI is Oracle's cloud computing platform that provides infrastructure, platform, and related services for building and running applications in the cloud.
-
E.
OCI
OCI (Open Container Initiative) is an open standard for container image formats and runtimes that ensures interoperability and consistency across container tools and platforms.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
formal specification language
ⓘ
object-oriented specification language ⓘ |
| abbreviationOf |
Object Constraint Language
ⓘ
linked to:
OCL
|
| appliesTo |
UML class diagrams
ⓘ
linked to:
Unified Modeling Language
UML metamodel ⓘ UML state machine diagrams ⓘ UML use case models ⓘ |
| canExpress |
derivation rules
ⓘ
guards ⓘ invariants ⓘ postconditions ⓘ preconditions ⓘ query expressions ⓘ |
| characteristic |
declarative
ⓘ
formal semantics ⓘ purely textual ⓘ side-effect free ⓘ typed ⓘ |
| designGoal | to be precise yet readable by modelers ⓘ |
| domain |
model-driven engineering
ⓘ
software engineering ⓘ |
| fullName | Object Constraint Language ⓘ |
| hasFeature |
Boolean expressions
ⓘ
collection types ⓘ navigation expressions ⓘ type system compatible with UML ⓘ |
| not |
executable action language
ⓘ
programming language ⓘ |
| purpose |
to describe expressions on models in a precise way
ⓘ
to provide a machine-readable constraint language ⓘ to specify constraints on UML models ⓘ |
| relatedTo |
MOF
ⓘ
UML standard ⓘ model-driven architecture ⓘ |
| semanticsDefinedIn |
OMG OCL specification
ⓘ
linked to:
OCL
|
| standardizedBy | Object Management Group ⓘ |
| supports |
collection operations such as select and collect
ⓘ
navigation over associations ⓘ quantifiers like forAll and exists ⓘ |
| typicalToolSupport |
UML modeling tools
ⓘ
code generators ⓘ model checkers ⓘ |
| usedFor |
defining well-formedness rules for metamodels
ⓘ
model validation ⓘ model verification ⓘ precise specification of business rules ⓘ |
| usedWith |
UML
ⓘ
linked to:
Unified Modeling Language
Unified Modeling Language ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: OCL Description of subject: OCL (Object Constraint Language) is a formal language used to describe expressions and constraints on UML models in a precise, machine-readable way.
Referenced by (11)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: OCL
linked to: OCL
linked to: OCL
linked to: OCL
linked to: OCL
linked to: OCL