|
| __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: