public class KRSS2OWLParser extends AbstractOWLParser
KRSSOWLParser
that it supports
an extended KRSS vocabulary available in many reasoning systems. For
instance, CGIs can be added with help of (implies subclass superclass),
range, domain, inverse, functinal attribute can be provided for roles. Note
that DatatypeProperties are not supported within KRSS2. CN | concept name |
C,D,E | concept expression |
RN | role name |
R, R1, R2,... | role expressions, i.e. role name or inverse role |
KRSS | OWLDescription |
(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 | 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) |
Constructor and Description |
---|
KRSS2OWLParser() |
Modifier and Type | Method and Description |
---|---|
OWLOntologyFormat |
parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology)
Parses the ontology with a concrete representation in
documentSource and adds its axioms to ontology . |
OWLOntologyFormat |
parse(OWLOntologyDocumentSource documentSource,
OWLOntology ontology,
OWLOntologyLoaderConfiguration configuration)
Parses the ontology with a concrete representation in
documentSource and adds its axioms to ontology . |
getOWLOntologyManager, parse, setOWLOntologyManager
public OWLOntologyFormat parse(OWLOntologyDocumentSource documentSource, OWLOntology ontology) throws OWLParserException, IOException, UnloadableImportException
OWLParser
documentSource
and adds its axioms to ontology
.
Implementors of this method should load imported ontologies through
makeLoadImportRequest()
.documentSource
- the source of a concrete representation of the document to parse.ontology
- the ontology to which the parsed axioms are addednull
OWLParserException
- if there was a parsing problem parsing the ontology.IOException
- if there was an IO problem during parsing.UnloadableImportException
- if one or more imports could not be loaded.public OWLOntologyFormat parse(OWLOntologyDocumentSource documentSource, OWLOntology ontology, OWLOntologyLoaderConfiguration configuration) throws OWLParserException, IOException, OWLOntologyChangeException, UnloadableImportException
OWLParser
documentSource
and adds its axioms to ontology
.
Implementors of this method should load imported ontologies through
makeLoadImportRequest()
.documentSource
- the source of a concrete representation of the document to parseontology
- the ontology to which the parsed axioms are addedconfiguration
- parsing options for the parsernull
OWLParserException
- if there was a parsing problem parsing the ontology.IOException
- if there was an IO problem during parsing.OWLOntologyChangeException
- if there was a problem updating ontology
. Typically this
depends on the document being parsed containing an ontology with
an ontology IRI clashing with one already loaded.UnloadableImportException
- if one or more imports could not be loaded.Copyright © 2017 The University of Manchester. All Rights Reserved.