OWLDocument Class Reference

Inheritance diagram for OWLDocument:

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

name	String the name or IRI of the new concept.
is_abbreviated	Boolean (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_class	A String with the child's name class.
father_class	Same as $child_class parameter but for the $father_class.
child_abbrev	If true, force the abbreviated IRI for the child class; if false, force the (not abbreviated) IRI; if null check it automatically.
father_abbrev	same 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

$array

An 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

name	a 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

name	a 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:

• web-src/wicom/translator/documents/owldocument.php