Grammar Index
This section describes the keywords supported by Fluent Editor 2.
Keyword | Description |
---|---|
Indicates some unspecified individual of a given concept. | |
Indicates some unspecified individual of a given concept. | |
Connects two clauses or phrases (intersection). | |
Connects two clauses or phrases (union). | |
Refers to the pairwise disjoint concepts. | |
Used for concept inclusion, concept equivalence or role inversion. | |
Negates a concept or gives a complement concept. | |
Enumerates data types. | |
Introduces property cardinality restriction. | |
Introduces property cardinality restriction. | |
Used for concept inclusion, concept equivalence or role inversion. | |
Negates a concept or gives a complement concept. |
Used for role inversion. |
States a restriction on the knowledge. | |
States a restriction on the knowledge. | |
Assigns range to a data attribute. | |
Introduces property cardinality restriction. | |
Negates a role or data property. | |
Negates a role or data property. | |
Introduces property cardinality restriction. | |
Used for disjoint unions and enumeration of individuals. | |
Assigns a data attribute of a given value. | |
Refers to all individuals of a given concept. | |
Indicates all individuals in the open-world assumption . | |
Allows to specify active rule action. | |
Is equivalent to is something. | |
Is a boolean data value. | |
Introduces property cardinality restriction. | |
Allows to specify active rule arguments. | |
Introduces property cardinality restriction. | |
Assigns range to a data attribute. | |
Assigns range to a data attribute. | |
Is a part of a sentence with an implication (semantic rule). | |
Logically connects two statements with X/Y variables. | |
Introduces equivalent concepts. | |
Introduces a concept equivalent to a disjoint union. | |
Is a variable for 'something' in semantic rules. | |
Is used when the subject and the object of a role are the same. | |
Used for concept inclusion, concept equivalence or role inversion. | |
Negates a concept or gives a complement concept. | |
Expresses that two individuals are the same. | |
Expresses that two individuals are not the same. | |
Defines a key for a class. | |
Introduces property cardinality restriction. | |
Assigns range to a data attribute. | |
Assigns range to a data attribute. | |
Introduces property cardinality restriction. | |
States a restriction on the knowledge. | |
States a restriction on the knowledge. | |
Introduces property cardinality restriction. | |
Negates a concept. | |
is a short version of 'nothing-but things that are nothing' | |
Negates the verb to be. | |
Refers to the bottom concept (empty set). | |
Gives restriction on range of property (role) or data type of data property. | |
Introduces property cardinality restriction | |
Used for disjoint unions and enumeration of individuals. | |
Is the complement concept. | |
Introduces property cardinality restriction. | |
States a restriction on the knowledge. | |
States a restriction on the knowledge. | |
Introduces property cardinality restriction. | |
Specifies data type boolean. | |
Specifies data type datetime. | |
Specifies data type integer. | |
Specifies data type string. | |
Specifies data type double. | |
Gives an unspecified data type. | |
Refers to a value of a given (user defined) data type. | |
Represents all individuals (top concept).
| |
Introduces property cardinality restriction. | |
Starts further specification (restriction) of a concept. | |
Restricts length of a data attribute. | |
Defines string attributes as regular expression patterns. | |
Indicates some specified individual of a given concept.
| |
Is a part of a sentence with an implication (semantic rule). | |
Is used to define a class which has only one instance | |
Represents an instance of the top concept and thus any variable.
| |
Represents an instance of the top concept and thus any variable.
| |
Introduces property cardinality restriction. | |
Is a boolean data value. | |
Introduces property cardinality restriction. | |
Refers to a value of data property in a semantic rule. | |
Refers to a value of a given (user defined) data type. | |
Is a variable used for writing axioms about roles. | |
Is a variable used for writing axioms about roles. | |
Introduces property cardinality restriction. |