AL (Attributive Language)
E641812
AL (Attributive Language) is a foundational, relatively simple description logic that supports basic concept formation and role restrictions, serving as a core building block for more expressive description logics.
All labels observed (2)
| Label | Occurrences |
|---|---|
| AL (Attributive Language) canonical | 1 |
| Attributive Language | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T7115412 — 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: AL (Attributive Language) Context triple: [Description Logic, hasSubfamily, AL (Attributive Language)]
-
A.
Alur language
The Alur language is a Western Nilotic language spoken primarily by the Alur people of northwestern Uganda and northeastern Democratic Republic of the Congo.
-
B.
ALG
ALG is the IATA airport code for Houari Boumediene Airport, the main international airport serving Algiers, Algeria.
-
C.
ARL
ARL (Australian Rugby League) was the top-level rugby league competition in Australia during the mid-1990s, preceding the formation of the National Rugby League (NRL).
-
D.
ABL
ABL is the commonly used abbreviation for the Academia Brasileira de Letras, Brazil’s foremost literary and language academy.
-
E.
ABL
ABL is the IATA airport code assigned to Ambrolauri Airport in Georgia.
- 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: AL (Attributive Language) Target entity description: AL (Attributive Language) is a foundational, relatively simple description logic that supports basic concept formation and role restrictions, serving as a core building block for more expressive description logics.
-
A.
Alur language
The Alur language is a Western Nilotic language spoken primarily by the Alur people of northwestern Uganda and northeastern Democratic Republic of the Congo.
-
B.
ALG
ALG is the IATA airport code for Houari Boumediene Airport, the main international airport serving Algiers, Algeria.
-
C.
ARL
ARL (Australian Rugby League) was the top-level rugby league competition in Australia during the mid-1990s, preceding the formation of the National Rugby League (NRL).
-
D.
ABL
ABL is the commonly used abbreviation for the Academia Brasileira de Letras, Brazil’s foremost literary and language academy.
-
E.
ABL
ABL is the IATA airport code assigned to Ambrolauri Airport in Georgia.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
description logic
ⓘ
knowledge representation formalism ⓘ |
| belongsToFamily | DL family with naming scheme using constructor letters ⓘ |
| doesNotSupport |
disjunction of concepts
ⓘ
full negation of arbitrary concepts ⓘ inverse roles in the base language ⓘ number restrictions in the base language ⓘ role composition in the base language ⓘ |
| formalizes | terminological knowledge ⓘ |
| hasComplexityProperty | reasoning is decidable ⓘ |
| hasConstructor |
atomic concept negation (¬A)
ⓘ
atomic concepts ⓘ bottom concept ⓘ concept intersection ⓘ limited existential restriction (∃R.⊤) ⓘ top concept ⓘ universal restriction (∀R.C) ⓘ |
| hasFeature |
attributive concept descriptions
ⓘ
basic concept formation constructors ⓘ decidable reasoning ⓘ polynomial-time subsumption for certain fragments ⓘ role restrictions ⓘ |
| hasFullName |
Attributive Language
ⓘ
linked to:
AL (Attributive Language)
|
| hasRoleSyntax | binary relations between individuals ⓘ |
| influenced |
design of OWL 2 DL
ⓘ
design of OWL DL ⓘ |
| isBasisOf | many DL family notations with prefix AL ⓘ |
| isDesignedFor | tractable reasoning where possible ⓘ |
| isExtendedBy |
ALC
ⓘ
ALCNR ⓘ ALN ⓘ ALU ⓘ SHOIN ⓘ SROIQ ⓘ |
| isFoundationFor |
ALC
ⓘ
SHOIN ⓘ SROIQ ⓘ more expressive description logics ⓘ |
| supports |
atomic negation
ⓘ
concept conjunction ⓘ limited existential role restriction ⓘ primitive concept definitions ⓘ role hierarchies in extended variants ⓘ universal role restriction ⓘ value restrictions on roles ⓘ |
| usedIn |
knowledge representation
ⓘ
ontology engineering ⓘ semantic web formalisms ⓘ |
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: AL (Attributive Language) Description of subject: AL (Attributive Language) is a foundational, relatively simple description logic that supports basic concept formation and role restrictions, serving as a core building block for more expressive description logics.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: AL (Attributive Language)