|
| | __construct () |
| |
| | insert_header ($createkb=true, $starttell=true, $ontologyIRI=[], $uris=[]) |
| |
| | _normalise_strategy ($strategyClass) |
| |
| | insert_class_min ($classname, $rolename, $i) |
| |
| | insert_class_max ($classname, $rolename, $i) |
| |
| | insert_class_declaration ($name) |
| |
| | insert_class ($name, $col_attrs=[]) |
| |
| | insert_dataproperty_declaration ($name) |
| |
| | insert_dataproperty ($name, $datatype) |
| |
| | insert_objectproperty_declaration ($name) |
| |
| | insert_objectproperty ($name) |
| |
| | insert_subclassof ($child, $father) |
| |
| | insert_subobjectpropertyof ($child, $father) |
| |
| | insert_subdatapropertyof ($child, $father) |
| |
| | set_tell_toEdit ($bool) |
| |
| | get_KB () |
| |
| | insert_owllink ($text) |
| |
| | insert_footer () |
| |
| | get_classes_with_min_max () |
| |
| | get_product ($finish=false) |
| |
|
| | insert_satisfiable () |
| |
| | insert_satisfiable_class ($classname) |
| |
| | insert_satisfiable_objectProperty ($opname) |
| |
| | insert_satisfiable_dataProperty ($dpname) |
| |
| | insert_getPrefixes () |
| |
| | insert_isEntailed_query ($array) |
| |
| | insert_isEntailedDirectSubClasses_query ($array) |
| |
| | insert_isEntailedDirectDisjointClasses_query ($array) |
| |
| | insert_get_all_object_properties_query () |
| |
| | insert_get_all_classes_query () |
| |
| | insert_get_subClasses_query ($array) |
| |
| | insert_get_superClasses_query ($array) |
| |
| | insert_get_equivalentClasses_query ($array) |
| |
| | insert_get_disjointClasses_query ($array) |
| |
| | insert_getSubClassHierarchy_query () |
| |
| | insert_getSubObjectPropertyHierarchy_query () |
| |
| | insert_class ($name, $col_attrs=[]) |
| |
| | insert_owllink ($text) |
| |
| | insert_footer () |
| |
| | translate_DL ($DL_list) |
| |
| | get_product () |
| |
| _normalise_strategy |
( |
|
$strategyClass | ) |
|
- Todo:
- Move this into the Strategy.
| get_classes_with_min_max |
( |
| ) |
|
Retrieve the classes with its min and max if its exists.
- Returns
- A hash like ["classname" => ["min_class_name", "max_class_name"]]
- Todo:
- Move this into the Strategy.
| get_product |
( |
|
$finish = false | ) |
|
Reimplementation because we have to finish the product before getting it.
| insert_class |
( |
|
$name, |
|
|
|
$col_attrs = [] |
|
) |
| |
| insert_class_declaration |
( |
|
$name | ) |
|
| insert_class_max |
( |
|
$classname, |
|
|
|
$rolename, |
|
|
|
$i |
|
) |
| |
- Todo:
- Move this into the Strategy.
| insert_class_min |
( |
|
$classname, |
|
|
|
$rolename, |
|
|
|
$i |
|
) |
| |
- Todo:
- Move this into the Strategy.
| insert_dataproperty |
( |
|
$name, |
|
|
|
$datatype |
|
) |
| |
| insert_dataproperty_declaration |
( |
|
$name | ) |
|
| insert_get_all_classes_query |
( |
| ) |
|
Insert a query denominated GetAllClasses for the current kb.
| insert_get_all_object_properties_query |
( |
| ) |
|
Insert a query denominated GetAllObjectProperties for the current kb.
| insert_get_disjointClasses_query |
( |
|
$array | ) |
|
Insert a query denominated GetDisjointClasses for all the classes in the array.
- Parameters
-
| $array | An array of Strings with classnames. |
| insert_get_equivalentClasses_query |
( |
|
$array | ) |
|
Insert a query denominated GetEquivalentClasses for all the classes in the array.
- Parameters
-
| $array | An array of Strings with classnames. |
| insert_get_subClasses_query |
( |
|
$array | ) |
|
Insert a query denominated GetSubClasses for all the classes in the array.
- Parameters
-
| $array | An array of Strings with classnames. |
| insert_get_superClasses_query |
( |
|
$array | ) |
|
Insert a query denominated GetSuperClasses for all the classes in the array.
- Parameters
-
| $array | An array of Strings with classnames. |
| insert_getSubClassHierarchy_query |
( |
| ) |
|
Insert a query denominated GetSubClassHierarchy for the current kb.
| insert_getSubObjectPropertyHierarchy_query |
( |
| ) |
|
Insert a query denominated GetSubClassHierarchy for the current kb.
| insert_header |
( |
|
$createkb = true, |
|
|
|
$starttell = true, |
|
|
|
$ontologyIRI = [], |
|
|
|
$uris = [] |
|
) |
| |
- Parameters
-
| $createkb | A Boolean flag for setting CreateKB tags |
| $starttell | A Boolean flag for starting Tell elements |
| $ontologyIRI | An Array containing the IRI for the ontology: ["prefix" => "", "value" => ""] |
| $uris | An Array containing the Request IRIs: [["prefix" => "", "value" => ""], ... , ["prefix" => "", "value" => ""]] |
| insert_isEntailed_query |
( |
|
$array | ) |
|
Insert an entail OWLlink query for checking entailed classes.
- Parameters
-
| $array | An array of class names. |
| insert_isEntailedDirectDisjointClasses_query |
( |
|
$array | ) |
|
Insert an entail OWLlink query for checking entailedDirect disjointclasses.
- Parameters
-
| $array | An array of class names. |
| insert_isEntailedDirectSubClasses_query |
( |
|
$array | ) |
|
Insert an entail OWLlink query for checking entailedDirect subclasses.
- Parameters
-
| $array | An array of class names. |
| insert_objectproperty |
( |
|
$name | ) |
|
| insert_objectproperty_declaration |
( |
|
$name | ) |
|
Insert "is diagram/KB satisfiable" query.
| insert_satisfiable_class |
( |
|
$classname | ) |
|
| insert_satisfiable_dataProperty |
( |
|
$dpname | ) |
|
| insert_satisfiable_objectProperty |
( |
|
$opname | ) |
|
| insert_subclassof |
( |
|
$child, |
|
|
|
$father |
|
) |
| |
| insert_subdatapropertyof |
( |
|
$child, |
|
|
|
$father |
|
) |
| |
| insert_subobjectpropertyof |
( |
|
$child, |
|
|
|
$father |
|
) |
| |
The documentation for this class was generated from the following file: