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.
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 NERFINISHED ⓘ |
| 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 NERFINISHED ⓘ 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 ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.