Fwd: MOS and OWL-API puzzles

Hi all,

2 questions are follows in context.

Alex



---------- Forwarded message ----------
From: Alex Shkotin <alex.shkotin@gmail.com>
Date: 2011/5/25
Subject: MOS and OWL-API puzzles
To: matthew.horridge@cs.man.ac.uk


Hi Matthew,

we look at MOS as a nice syntax for our ontologies, but 2 questions arise
till now.

Q1. declared syntax versus real one.
Have a look at a test ontology [1] in FS:

3 last lines are

SubObjectPropertyOf(ObjectInverseOf(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#op1>) ObjectInverseOf(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#op2>))
ObjectPropertyDomain(ObjectInverseOf(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#op1>)
                      ObjectUnionOf(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#C2> <
http://earth.jscc.ru/ontologies/mos_bugs.owl#C1>))


and have been converted by http://owl.cs.manchester.ac.uk/converter/ to

ObjectProperty:  inverse (<http://earth.jscc.ru/ontologies/mos_bugs.owl#op1
>)
    SubPropertyOf:
         inverse (<http://earth.jscc.ru/ontologies/mos_bugs.owl#op2>)
    Domain:
        <http://earth.jscc.ru/ontologies/mos_bugs.owl#C1>
         or <http://earth.jscc.ru/ontologies/mos_bugs.owl#C2>

looks fine but forbidden in http://www.w3.org/TR/owl2-manchester-syntax/ where
we have

objectPropertyFrame ::= 'ObjectProperty:' objectPropertyIRI ...

*A question itself: do you have newer syntax for MOS?*

q2 (severe). Full conversion [2] has nothing for axiom

SubClassOf(ObjectUnionOf(<http://earth.jscc.ru/ontologies/mos_bugs.owl#C2> <
http://earth.jscc.ru/ontologies/mos_bugs.owl#C1>) ObjectUnionOf(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#C4> <
http://earth.jscc.ru/ontologies/mos_bugs.owl#C3>))

and this is without any warning! Look, we have lost it!

*A question itself: From my point of view this is a bug. What do you think?*

Best regards,

Alex Shkotin, puzzled


[1]
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)
Ontology(<http://earth.jscc.ru/ontologies/mos_bugs.owl>

Declaration(Class(<http://earth.jscc.ru/ontologies/mos_bugs.owl#C0>))
Declaration(Class(<http://earth.jscc.ru/ontologies/mos_bugs.owl#C01>))
SubClassOf(<http://earth.jscc.ru/ontologies/mos_bugs.owl#C01> <
http://earth.jscc.ru/ontologies/mos_bugs.owl#C0>)
Declaration(Class(<http://earth.jscc.ru/ontologies/mos_bugs.owl#C1>))
Declaration(Class(<http://earth.jscc.ru/ontologies/mos_bugs.owl#C2>))
Declaration(Class(<http://earth.jscc.ru/ontologies/mos_bugs.owl#C3>))
Declaration(Class(<http://earth.jscc.ru/ontologies/mos_bugs.owl#C4>))
Declaration(ObjectProperty(<http://earth.jscc.ru/ontologies/mos_bugs.owl#op0
>))
Declaration(ObjectProperty(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#op01>))
SubObjectPropertyOf(<http://earth.jscc.ru/ontologies/mos_bugs.owl#op01> <
http://earth.jscc.ru/ontologies/mos_bugs.owl#op0>)
Declaration(ObjectProperty(<http://earth.jscc.ru/ontologies/mos_bugs.owl#op1
>))
Declaration(ObjectProperty(<http://earth.jscc.ru/ontologies/mos_bugs.owl#op2
>))
SubClassOf(ObjectUnionOf(<http://earth.jscc.ru/ontologies/mos_bugs.owl#C2> <
http://earth.jscc.ru/ontologies/mos_bugs.owl#C1>) ObjectUnionOf(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#C4> <
http://earth.jscc.ru/ontologies/mos_bugs.owl#C3>))
SubObjectPropertyOf(ObjectInverseOf(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#op1>) ObjectInverseOf(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#op2>))
ObjectPropertyDomain(ObjectInverseOf(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#op1>)
                      ObjectUnionOf(<
http://earth.jscc.ru/ontologies/mos_bugs.owl#C2> <
http://earth.jscc.ru/ontologies/mos_bugs.owl#C1>))
)

[2]
Ontology: <http://earth.jscc.ru/ontologies/mos_bugs.owl>


ObjectProperty: <http://earth.jscc.ru/ontologies/mos_bugs.owl#op0>


ObjectProperty: <http://earth.jscc.ru/ontologies/mos_bugs.owl#op1>


ObjectProperty:  inverse (<http://earth.jscc.ru/ontologies/mos_bugs.owl#op1
>)

    SubPropertyOf:
         inverse (<http://earth.jscc.ru/ontologies/mos_bugs.owl#op2>)

    Domain:
        <http://earth.jscc.ru/ontologies/mos_bugs.owl#C1>
         or <http://earth.jscc.ru/ontologies/mos_bugs.owl#C2>


ObjectProperty: <http://earth.jscc.ru/ontologies/mos_bugs.owl#op2>


ObjectProperty: <http://earth.jscc.ru/ontologies/mos_bugs.owl#op01>

    SubPropertyOf:
        <http://earth.jscc.ru/ontologies/mos_bugs.owl#op0>


Class: <http://earth.jscc.ru/ontologies/mos_bugs.owl#C3>


Class: <http://earth.jscc.ru/ontologies/mos_bugs.owl#C4>


Class: <http://earth.jscc.ru/ontologies/mos_bugs.owl#C0>


Class: <http://earth.jscc.ru/ontologies/mos_bugs.owl#C1>


Class: <http://earth.jscc.ru/ontologies/mos_bugs.owl#C2>


Class: <http://earth.jscc.ru/ontologies/mos_bugs.owl#C01>

    SubClassOf:
        <http://earth.jscc.ru/ontologies/mos_bugs.owl#C0>