WICOM
 All Data Structures Namespaces Files Functions Variables Pages
Public Member Functions | Protected Member Functions | Protected Attributes
OWLDocument Class Reference
Inheritance diagram for OWLDocument:
Document

Public Member Functions

 __construct ()
 
 set_ontology_prefixes ($ontologyIRI, $prefixes=[])
 
 insert_prefix ($prefixes)
 
 insert_class_declaration ($class)
 
 insert_objectproperty_declaration ($objprop)
 
 insert_dataproperty_declaration ($dprop)
 
 insert_subclassof ($child_class, $father_class, $child_abbrev=false, $father_abbrev=false)
 
 insert_subobjectpropertyof ($child_objprop, $father_objprop, $child_abbrev=false, $father_abbrev=false)
 
 insert_class ($name, $is_abbreviated=null)
 
 insert_objectproperty ($name, $is_abbreviated=null)
 
 insert_dataproperty ($name, $is_abbreviated=null)
 
 insert_datatype ($name, $is_abbreviated=null)
 
 begin_inverseof ()
 
 end_inverseof ()
 
 begin_subclassof ()
 
 end_subclassof ()
 
 begin_intersectionof ()
 
 end_intersectionof ()
 
 begin_unionof ()
 
 end_unionof ()
 
 begin_complementof ()
 
 end_complementof ()
 
 begin_somevaluesfrom ()
 
 end_somevaluesfrom ()
 
 begin_allvaluesfrom ()
 
 end_allvaluesfrom ()
 
 begin_mincardinality ($cardinality)
 
 end_mincardinality ()
 
 begin_maxcardinality ($cardinality)
 
 end_maxcardinality ()
 
 begin_objectpropertydomain ()
 
 end_objectpropertydomain ()
 
 begin_objectpropertyrange ()
 
 end_objectpropertyrange ()
 
 begin_mincardinality_dataproperty ($cardinality)
 
 end_mincardinality_dataproperty ()
 
 begin_maxcardinality_dataproperty ($cardinality)
 
 end_maxcardinality_dataproperty ()
 
 begin_somevaluesfrom_dataproperty ()
 
 end_somevaluesfrom_dataproperty ()
 
 begin_allvaluesfrom_dataproperty ()
 
 end_allvaluesfrom_dataproperty ()
 
 begin_datapropertydomain ()
 
 end_datapropertydomain ()
 
 begin_datapropertyrange ()
 
 end_datapropertyrange ()
 
 begin_equivalentclasses ()
 
 end_equivalentclasses ()
 
 begin_disjointclasses ()
 
 end_disjointclasses ()
 
 insert_equivalent_class_query ($array)
 
 to_string ()
 
 insert_owl2 ($text)
 
Starting and Ending the document
 insert_startdocument ()
 
 set_actual_kb ($kb_uri)
 
 insert_ontology ($ontologyIRI, $headerIRIs)
 
 start_document ($ontologyIRI=[], $headerIRIs=[])
 
 end_document ()
 
- Public Member Functions inherited from Document
 to_string ()
 
 end_document ()
 

Protected Member Functions

 prefix_exists ($prefix)
 
 check_prefixes ($name)
 
 name_has_namespace ($name)
 
 name_full_expanded ($name)
 
 remove_prefixExpansion ($fullname)
 

Protected Attributes

 $content = null
 
 $owllink_text = ""
 
 $actual_kb = null
 
 $current_prefixes = []
 
 $default_prefixes
 
 $default_header
 

Detailed Description

Example

$d = new OWLlinkDocument();
$d->insert_startdocument();
$d->insert_request();
// ...
$d->end_document();
$d->to_string();

Constructor & Destructor Documentation

__construct ( )

Member Function Documentation

begin_allvaluesfrom ( )
begin_allvaluesfrom_dataproperty ( )
begin_complementof ( )
begin_datapropertydomain ( )
begin_datapropertyrange ( )
begin_disjointclasses ( )
begin_equivalentclasses ( )
begin_intersectionof ( )
begin_inverseof ( )
begin_maxcardinality (   $cardinality)
begin_maxcardinality_dataproperty (   $cardinality)
begin_mincardinality (   $cardinality)
begin_mincardinality_dataproperty (   $cardinality)
begin_objectpropertydomain ( )
begin_objectpropertyrange ( )
begin_somevaluesfrom ( )
begin_somevaluesfrom_dataproperty ( )
begin_subclassof ( )
begin_unionof ( )
check_prefixes (   $name)
protected
end_allvaluesfrom ( )
end_allvaluesfrom_dataproperty ( )
end_complementof ( )
end_datapropertydomain ( )
end_datapropertyrange ( )
end_disjointclasses ( )
end_document ( )
end_equivalentclasses ( )
end_intersectionof ( )
end_inverseof ( )
end_maxcardinality ( )
end_maxcardinality_dataproperty ( )
end_mincardinality ( )
end_mincardinality_dataproperty ( )
end_objectpropertydomain ( )
end_objectpropertyrange ( )
end_somevaluesfrom ( )
end_somevaluesfrom_dataproperty ( )
end_subclassof ( )
end_unionof ( )
insert_class (   $name,
  $is_abbreviated = null 
)

Add a class DL element.

Abbreviated IRI's are recognized automatically by name_has_namespace() function.

Note
crowd does not expand class names when ontology is written in OWL 2. if name is abbreviated, crowd checks that such prefix had been declarated and expands the name with the respective IRI. if name is already expanded, crowd uses this full name.
Parameters
nameString the name or IRI of the new concept.
is_abbreviatedBoolean (Optional) force that the given IRI is or is not an abreviated like owl:class.
insert_class_declaration (   $class)

Insert a DL subclass-of operator.

Abbreviated IRIs are recognized automatically.

Parameters
child_classA String with the child's name class.
father_classSame as $child_class parameter but for the $father_class.
child_abbrevIf true, force the abbreviated IRI for the child class; if false, force the (not abbreviated) IRI; if null check it automatically.
father_abbrevsame as $child_abbrev but for the $father_class.
insert_dataproperty (   $name,
  $is_abbreviated = null 
)
insert_dataproperty_declaration (   $dprop)
insert_datatype (   $name,
  $is_abbreviated = null 
)
insert_equivalent_class_query (   $array)

Insert an ASK query denominated IsEntailedDirect for all the classes in the array.

Parameters
$arrayAn array of Strings with classnames.
insert_objectproperty (   $name,
  $is_abbreviated = null 
)
insert_objectproperty_declaration (   $objprop)
insert_ontology (   $ontologyIRI,
  $headerIRIs 
)
insert_owl2 (   $text)
insert_prefix (   $prefixes)
insert_startdocument ( )
insert_subclassof (   $child_class,
  $father_class,
  $child_abbrev = false,
  $father_abbrev = false 
)
insert_subobjectpropertyof (   $child_objprop,
  $father_objprop,
  $child_abbrev = false,
  $father_abbrev = false 
)
name_full_expanded (   $name)
protected

Check if class names are full-expanded (i.e.: "http://crowd.fi.uncoma.edu.ar/Class").

Parameters
namea String with the IRI.
Returns
True if the name is full expanded. False otherwise.
name_has_namespace (   $name)
protected

Check if this IRI has a namespace, (i.e.: is an abbreviated IRI).

Like in "owl:Thing" which its namespace is "owl" here.

Parameters
namea String with the IRI.
Returns
True if the name has an XML Namespace. False otherwise.
prefix_exists (   $prefix)
protected
remove_prefixExpansion (   $fullname)
protected

This function returns a short name for a OWL 2 entity removing prefix expansions

set_actual_kb (   $kb_uri)
set_ontology_prefixes (   $ontologyIRI,
  $prefixes = [] 
)
start_document (   $ontologyIRI = [],
  $headerIRIs = [] 
)

Abbreviation of:

$d->insert_startdocument();
$d->insert_request();
to_string ( )

Field Documentation

$actual_kb = null
protected
$content = null
protected
$current_prefixes = []
protected
$default_header
protected
Initial value:
= [
["attr" => "xmlns", "value" => "http://www.w3.org/2002/07/owl#"],
["attr" => "xmlns:rdf", "value" => "http://www.w3.org/1999/02/22-rdf-syntax-ns#"],
["attr" => "xmlns:xml", "value" => "http://www.w3.org/XML/1998/namespace"],
["attr" => "xmlns:xsd", "value" => "http://www.w3.org/2001/XMLSchema#"],
["attr" => "xmlns:rdfs", "value" => "http://www.w3.org/2000/01/rdf-schema#"],
]
$default_prefixes
protected
Initial value:
= [
["prefix" => "rdf", "value" => "http://www.w3.org/1999/02/22-rdf-syntax-ns#"],
["prefix" => "rdfs", "value" => "http://www.w3.org/2000/01/rdf-schema#"],
["prefix" => "xsd", "value" => "http://www.w3.org/2001/XMLSchema#"],
["prefix" => "owl", "value" => "http://www.w3.org/2002/07/owl#"]
]
$owllink_text = ""
protected

The documentation for this class was generated from the following file: