OntoExtractor Class Reference

Public Member Functions
	__construct ()
	run_sparqldl ($owl_string)
	get_sparqldl_answers ()
	get_graphicalAxioms ()
	remove_prefixExpansion ($value)
	getClassAxioms ($vars, $results)
	getObjectPropertyAxioms ($vars, $results)
	getDataPropertyAxioms ($vars, $results)
	getDomainAxioms ($vars, $results)
	getDomainDataPropertyAxioms ($vars, $results)
	getRangeAxioms ($vars, $results)
	getRangeDataPropertyAxioms ($vars, $results)
	getStrictSubClassAxioms ($vars, $results)
	getStrictSubObjectPropertyAxioms ($vars, $results)
	getEquivalentClassAxioms ($vars, $results)
	getDisjointClassAxioms ($vars, $results)
	getEquivalentObjectPropertyAxioms ($vars, $results)
	getDisjointObjectPropertyAxioms ($vars, $results)
	extractor ($owl_string)
	getIntermediateSparqldl ()
	returnClassAxioms ()
	returnStrictSubClassAxioms ()
	returnDomain ()
	returnRange ()
	returnObjectProperties ()
	returnEqClasses ()
	returnDataPropertyDomain ()
	returnDataPropertyRange ()
	returnDataProperties ()
	return_unsatisfiableClasses ()

Detailed Description

This class uses the SPARQL-DL language to extract an OWL 2 Ontology from an OWL Document and returns an intermediate representation for each OWL 2 axiom. It also parses graphical annotations.

SPARQL-DL expresiveness allows the following Query Patterns:

• Class(a) (supported by crowd importer)
• Property(a) (supported by crowd importer)
• Individual(a)
• Type(a, b)
• PropertyValue(a, b, c)
• EquivalentClass(a, b) (supported by crowd importer)
• SubClassOf(a, b) (supported by crowd importer)
• EquivalentProperty(a, b) (supported by crowd importer)
• SubPropertyOf(a, b) (supported by crowd importer)
• InverseOf(a, b) (supported by crowd importer)
• ObjectProperty(a) (supported by crowd importer)
• DataProperty(a) (supported by crowd importer)
• Functional(a)
• InverseFunctional(a)
• Transitive(a)
• Symmetric(a)
• Reflexive(a)
• Irreflexive(a)
• SameAs(a, b)
• DisjointWith(a, b) (supported by crowd importer)
• DifferentFrom(a, b)
• ComplementOf(a, b)
• Annotation(a, b, c) (supported by crowd importer)
• StrictSubClassOf(a, b) (supported by crowd importer)
• DirectSubClassOf(a, b) (supported by crowd importer)
• DirectType(a, b)
• StrictSubPropertyOf(a, b) (supported by crowd importer)
• DirectSubPropertyOf(a, b) (supported by crowd importer)

See also

http://derivo.de/en/resources/sparql-dl-api/sparql-dl-syntax/

Todo:

refactor removing '#', '/' delimiters in IRI into a protected function()

Constructor & Destructor Documentation

__construct

(

)

Member Function Documentation

extractor

(

$owl_string

)

get_graphicalAxioms

(

)

get_sparqldl_answers

(

)

getClassAxioms	(		$vars,
			$results
	)

$axiom = [value,...,value]

getDataPropertyAxioms	(		$vars,
			$results
	)

$axiom = [value,...,value]

getDisjointClassAxioms	(		$vars,
			$results
	)

$axiom = ["disjointclasses" => [$class1, $class2]]

getDisjointObjectPropertyAxioms	(		$vars,
			$results
	)

$axiom = ["disjointobjectproperty" => [$op1, $op2]] Currently, SPARQL-DL does not support DisjointWith for objectproperties. "Query engine error: Given entity in first argument of atom DisjointWith() is not a class."

getDomainAxioms	(		$vars,
			$results
	)

$axiom = [objprop => domain]

getDomainDataPropertyAxioms	(		$vars,
			$results
	)

$axiom = [dataprop => domain]

getEquivalentClassAxioms	(		$vars,
			$results
	)

$axiom = ["equivalentclasses" => [$class1, $class2]]

getEquivalentObjectPropertyAxioms	(		$vars,
			$results
	)

$axiom = ["equivalentobjectproperty" => [$op1, $op2]]

getIntermediateSparqldl

(

)

getObjectPropertyAxioms	(		$vars,
			$results
	)

$axiom = [value,...,value]

getRangeAxioms	(		$vars,
			$results
	)

$axiom = [objprop => range]

getRangeDataPropertyAxioms	(		$vars,
			$results
	)

$axiom = [dataprop => range]

getStrictSubClassAxioms	(		$vars,
			$results
	)

$axiom = ["subclass" => [$subclass, $parentclass]]

getStrictSubObjectPropertyAxioms	(		$vars,
			$results
	)

$axiom = ["subobjectproperty" => [$subobjectproperty, $parentobjectproperty]]

remove_prefixExpansion

(

$value

)

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

return_unsatisfiableClasses

(

)

Get a new array with unsatisfiable classes by checking classes equivalent to Bottom

Returns

array {Array} of unsatisfiable classes

returnClassAxioms

(

)

returnDataProperties

(

)

returnDataPropertyDomain

(

)

returnDataPropertyRange

(

)

returnDomain

(

)

returnEqClasses

(

)

returnObjectProperties

(

)

returnRange

(

)

returnStrictSubClassAxioms

(

)

run_sparqldl

(

$owl_string

)

---

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

• web-src/wicom/translator/strategies/sparqldl/ontoextractor.php