Examples of KRSS2OWLParser

• org.semanticweb.owlapi.krss2.parser.KRSS2OWLParser
  The KRSS2OWLParser differs from the {@link org.semanticweb.owlapi.krss1.parser.KRSSOWLParser KRSSOWLParser} thatit 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.
  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	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 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

Examples of org.semanticweb.owlapi.krss2.parser.KRSS2OWLParser