org.semanticweb.owlapi.krss2.parser

Class KRSS2OWLParser

java.lang.Object

org.semanticweb.owlapi.io.AbstractOWLParser

org.semanticweb.owlapi.krss2.parser.KRSS2OWLParser

All Implemented Interfaces:

Serializable, OWLParser

public class KRSS2OWLParser
extends AbstractOWLParser

The KRSS2OWLParser differs from the KRSSOWLParser that it supports an extended KRSS vocabulary available in many reasoning systems. For instance, a GCI can be added with help of (implies subclass superclass), range, domain, inverse, functional attribute can be provided for roles. Note that DatatypeProperties are not supported within KRSS2.
Abbreviations

CN	concept name
C,D,E	concept expression
RN	role name
R, R1, R2,...	role expressions, i.e. role name or inverse role

KRSS concept language

KRSS	OWLClassExpression
(at-least n R C)	(OWLObjectMinCardinalityRestriction R n C)
(at-most n R C)	(OWLObjectMaxCardinalityRestriction R n C)
(exactly n R C)	(OWLObjectExactCardinalityRestriction R n C)
(some R C)	(OWLObjectSomeRestriction R C)
(all R C)	(OWLObjectAllRestriction R C)
(not C)	(OWLObjectComplementOf C)
(and C D E)	(OWLObjectIntersectionOf C D E)
(or C D E)	(OWLObjectUnionOf C D E)

KRSS role language

KRSS	OWLObjectPropertyExpression
(inv R)	(OWLInverseObjectPropertiesAxiom R)

KRSS2	OWLAxiom	Remarks
(define-primitive-concept CN C)	(OWLSubClassOfAxiom CN C)	If C is not given owl:Thing will be used instead.
(define-concept CN C)	(OWLEquivalentClassesAxiom CN C)
(disjoint C D)	(OWLDisjointClassesAxiom C D)
(equivalent C D)	(OWLEquivalentClassesAxion C D)
(implies C D)	(OWLSubclassOf C D)
(define-role RN RN2)	(OWLEquivalentObjectPropertiesAxiom RN RN2)
(define-primitive-role RN :right-identity RN1)	(OWLObjectPropertyChainSubPropertyAxiom (RN RN1) RN)
(define-primitive-role RN :left-identity RN1)	(OWLObjectPropertyChainSubPropertyAxiom (RN1 RN) RN)
(define-primitive-role RN RN1)	(OWLSubObjectPropertyAxiom RN RN1)
(define-primitive-role RN :parents (RN1 RN2 ...RNn))	(OWLSubObjectPropertyAxiom RN RN1) (OWLSubObjectPropertyAxiom RN RN2) (OWLSubObjectPropertyAxiom RN RNn)
(define-primitive-role RN :domain (C D ...E) :range (C D ...E) :transitive t :symmetric t :reflexive t :inverse RN1)		Corresponding axioms for domain and range as well as transitive, symmetric, reflexive and inverse will be added.
(disjoint-roles R R1)	(OWLDisjointObjectPropertiesAxiom R R1)
(implies-role R R)	(OWLSubObjectPropertyAxiom R R1)	(OWLInverseObjectPropertiesAxiom R R1)
(inverse RN RN1)
(roles-equivalent R R1)	(OWLEquivalentObjectPropertiesAxiom R R1)
(role-inclusion (compose RN RN1) RN2	(OWLObjectPropertyChainSubPropertyAxiom (RN RN1) RN2)	RN1 can also be (compose RN3 ...).
(transitive RN)	(OWLTransitiveObjectPropertyAxiom RN)
(range RN C)	(OWLObjectPropertyRangeAxiom RN C)
(instance i C)	(OWLClassAssertionAxiom i C)
(related i R i2)	(OWLObjectPropertyAssertionAxiom i R i2)
(equal i1 i2)	(OWLSameIndividualsAxiom i1 i2)
(distinct i1 i2)	(OWLDifferentIndividualsAxiom i1 i2)

Author:

Olaf Noppens, Ulm University, Institute of Artificial Intelligence

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
KRSS2OWLParser()

Method Summary

Modifier and Type	Method and Description
String	getName()
OWLDocumentFormatFactory	getSupportedFormat()
OWLDocumentFormat	parse(OWLOntologyDocumentSource documentSource, OWLOntology ontology, OWLOntologyLoaderConfiguration configuration) Parses the ontology with a concrete representation in documentSource and adds its axioms to ontology.

Methods inherited from class org.semanticweb.owlapi.io.AbstractOWLParser

parse

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

KRSS2OWLParser

public KRSS2OWLParser()

Method Detail

getName

@Nonnull
public String getName()

Specified by:

getName in interface OWLParser

Overrides:

getName in class AbstractOWLParser

Returns:

a unique name for the parser, typically the simple class name

getSupportedFormat

public OWLDocumentFormatFactory getSupportedFormat()

Returns:

The supported format for this parser.

parse

public OWLDocumentFormat parse(OWLOntologyDocumentSource documentSource,
                               OWLOntology ontology,
                               OWLOntologyLoaderConfiguration configuration)
                        throws IOException

Description copied from interface: OWLParser

Parses the ontology with a concrete representation in documentSource and adds its axioms to ontology. Implementors of this method should load imported ontologies through makeLoadImportRequest().

Parameters:

documentSource - the source of a concrete representation of the document to parse

ontology - the ontology to which the parsed axioms are added

configuration - parsing options for the parser

Returns:

the format of the parsed ontology

Throws:

IOException - if there was an IO problem during parsing.