Hi All, (01)
Here is the OWL to CNL demo
http://attempto.ifi.uzh.ch/site/docs/owl_to_ace.html
And here is CNL to OWL demo http://attempto.ifi.uzh.ch/ape/ (02)
Some examples work in Protege 4.1 but some are not working.
This working ontology http://ont.ddtor.com/fish.owl has after converting
in Owl-XML format ans werbalizing has the output with the bag description: (03)
/* BUG: axiom too complex:
SubClassOf(ObjectOneOf([NamedIndividual(#Blends)]),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#smokes)),ObjectSomeValuesFrom(ObjectProperty(#lives_in),ObjectUnionOf([ObjectSomeValuesFrom(ObjectProperty(#left_of),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#lives_in)),ObjectHasValue(ObjectProperty(#owns),NamedIndividual(#cat)))),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#left_of)),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#lives_in)),ObjectHasValue(ObjectProperty(#owns),NamedIndividual(#cat))))]))))
*/ (04)
Can anibody help me during the Hackathon event to get it working again
after the back CNL-to-OWL converting?
See the OWL-to-CNL conerting output below
BTW There is a Zebra CNL example but it is not converting in a working OWL (05)
================= (06)
Every Beverage is something that is beer or that is coffee or that is milk or
that is tea or that is water.
Everything that is beer or that is coffee or that is milk or that is tea or
that is water is a Beverage. (07)
Every Cigar is something that is Blends or that is Blue_Master or that is
Dunhill or that is Pall_Mall or that is Prince.
Everything that is Blends or that is Blue_Master or that is Dunhill or that is
Pall_Mall or that is Prince is a Cigar. (08)
Every Color is something that is blue or that is green or that is red or that
is white or that is yellow.
Everything that is blue or that is green or that is red or that is white or
that is yellow is a Color. (09)
Every House is something that is no-1 or that is no-2 or that is no-3 or that
is no-4 or that is no-5.
Everything that is no-1 or that is no-2 or that is no-3 or that is no-4 or that
is no-5 is a House. (010)
Every Man is something that drinks a Beverage and that smokes a Cigar and that
lives_in a House and that owns a Pet. (011)
Every Pet is owns by a Man. (012)
Blends is a Cigar. (013)
/* BUG: axiom too complex:
SubClassOf(ObjectOneOf([NamedIndividual(#Blends)]),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#smokes)),ObjectSomeValuesFrom(ObjectProperty(#lives_in),ObjectUnionOf([ObjectSomeValuesFrom(ObjectProperty(#left_of),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#lives_in)),ObjectHasValue(ObjectProperty(#owns),NamedIndividual(#cat)))),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#left_of)),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#lives_in)),ObjectHasValue(ObjectProperty(#owns),NamedIndividual(#cat))))]))))
*/ (014)
Blue_Master is a Cigar. (015)
Blue_Master is smokes by something that drinks beer. (016)
Brit is a Man. (017)
Brit lives_in something that has_color red. (018)
Dane is a Man. (019)
Dunhill is a Cigar. (020)
/* BUG: axiom too complex:
SubClassOf(ObjectOneOf([NamedIndividual(#Dunhill)]),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#smokes)),ObjectSomeValuesFrom(ObjectProperty(#lives_in),ObjectUnionOf([ObjectSomeValuesFrom(ObjectProperty(#left_of),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#lives_in)),ObjectHasValue(ObjectProperty(#owns),NamedIndividual(#horse)))),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#left_of)),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#lives_in)),ObjectHasValue(ObjectProperty(#owns),NamedIndividual(#horse))))]))))
*/ (021)
Dunhill is smokes by something that lives_in something that has_color yellow. (022)
German is a Man. (023)
Norwegian is a Man. (024)
/* BUG: axiom too complex:
SubClassOf(ObjectOneOf([NamedIndividual(#Norwegian)]),ObjectSomeValuesFrom(ObjectProperty(#lives_in),ObjectUnionOf([ObjectSomeValuesFrom(ObjectProperty(#left_of),ObjectHasValue(ObjectProperty(#has_color),NamedIndividual(#blue))),ObjectSomeValuesFrom(ObjectInverseOf(ObjectProperty(#left_of)),ObjectHasValue(ObjectProperty(#has_color),NamedIndividual(#blue)))])))
*/ (025)
Pall_Mall is a Cigar. (026)
Pall_Mall is smokes by something that owns bird. (027)
Prince is a Cigar. (028)
Swede is a Man. (029)
beer is a Beverage. (030)
bird is a Pet. (031)
blue is a Color. (032)
cat is a Pet. (033)
coffee is a Beverage. (034)
coffee is drinks by something that lives_in something that has_color green. (035)
dog is a Pet. (036)
fish is a Pet. (037)
green is a Color. (038)
green is has_color by something that left_of something that has_color white. (039)
horse is a Pet. (040)
milk is a Beverage. (041)
milk is drinks by something that lives_in no-3. (042)
no-1 is a House. (043)
Everything that left_of no-1 is something that is not something. (044)
no-2 is a House. (045)
no-3 is a House. (046)
no-4 is a House. (047)
no-5 is a House. (048)
Everything that is left_of by no-5 is something that is not something. (049)
red is a Color. (050)
tea is a Beverage. (051)
water is a Beverage. (052)
white is a Color. (053)
yellow is a Color. (054)
/* unsupported:
DifferentIndividuals([NamedIndividual(#Blends),NamedIndividual(#Blue_Master),NamedIndividual(#Brit),NamedIndividual(#Dane),NamedIndividual(#Dunhill),NamedIndividual(#German),NamedIndividual(#Norwegian),NamedIndividual(#Pall_Mall),NamedIndividual(#Prince),NamedIndividual(#Swede),NamedIndividual(#beer),NamedIndividual(#bird),NamedIndividual(#blue),NamedIndividual(#cat),NamedIndividual(#coffee),NamedIndividual(#dog),NamedIndividual(#fish),NamedIndividual(#green),NamedIndividual(#horse),NamedIndividual(#milk),NamedIndividual(#no-1),NamedIndividual(#no-2),NamedIndividual(#no-3),NamedIndividual(#no-4),NamedIndividual(#no-5),NamedIndividual(#red),NamedIndividual(#tea),NamedIndividual(#water),NamedIndividual(#white),NamedIndividual(#yellow)])
*/ (055)
Dane drinks tea. (056)
German smokes Prince. (057)
Norwegian lives_in no-1. (058)
Swede owns dog. (059)
no-1 left_of no-2. (060)
no-2 left_of no-3. (061)
no-3 left_of no-4. (062)
no-4 left_of no-5. (063)
Everything drinks at most 1 thing. (064)
Everything has_color at most 1 thing. (065)
Everything left_of at most 1 thing. (066)
Everything lives_in at most 1 thing. (067)
Everything owns at most 1 thing. (068)
Everything right_to at most 1 thing. (069)
Everything smokes at most 1 thing. (070)
Everything is drinks by at most 1 thing. (071)
Everything is has_color by at most 1 thing. (072)
Everything is left_of by at most 1 thing. (073)
Everything is lives_in by at most 1 thing. (074)
Everything is owns by at most 1 thing. (075)
Everything is right_to by at most 1 thing. (076)
Everything is smokes by at most 1 thing. (077)
Everything that drinks something is a Man. (078)
Everything that has_color something is a House. (079)
Everything that left_of something is a House. (080)
Everything that lives_in something is a Man. (081)
Everything that owns something is a Man. (082)
Everything that right_to something is a House. (083)
Everything that smokes something is a Man. (084)
Everything that is drinks by something is a Beverage. (085)
Everything that is has_color by something is a Color. (086)
Everything that is left_of by something is a House. (087)
Everything that is lives_in by something is a House. (088)
Everything that is owns by something is a Pet. (089)
Everything that is right_to by something is a House. (090)
Everything that is smokes by something is a Cigar. (091)
--
Regards,
Yuriy Milov
www.quicklydone.com
1-647-765-4386 (092)
On 3/8/2013 7:26 AM, Yuriy Milov wrote:
> Dear women of Ontology Summit 2013 (дамы, ladies, madams, so on),
>
> We, the gentlemen of the Ontology Summit 2013, especially love you in
> this International Women's Day and wish you all the best!
>
> It would be great to say ("we love you") as a poetry but all the words
> was already said by great poets.
>
> I'd like to make this congratulation related to the Summit topic.
>
> Ontology looks like a poetry because the message it bears is limited
> by some special form (triplets, OWL, RDF, XML, so on).
>
> Now, how can we "evaluate" the poetry art?
>
> What is important? Rhythm? Or how it sounds (melodia)? Or what is it
> about (the sense and meaning)?
>
> Who (what) is important for poetry to live? Is this a poets reading
> their poems, or who is listening or reading the poerty, or the poerty
> books?
>
> My hackathon/clinic pre-proposal is to develop/impove/apply a semantic
> web WIKI model (based on AceWiki or MediaWiki, or write a new core)
> for the "triplet" paradigm for "poet-book-reader" relationship.
>
> It could be considered as a sort of a common "living ontology art"
> space for ontology creators, ontology critics, and ontology users.
>
> If such OntoWiki could be done, for example, as a Google Web
> Application project (for AppEngine server GAE
> https://developers.google.com/appengine/ ) - a lot of instances would
> be setup and run concurenly (as we can see the wikimania stream now)
> because it is free and may be setup online easily in minutes.
>
> Now we have:
>
> The reasoner of the AceWiki sandbox
> http://attempto.ifi.uzh.ch/webapps/acewikisandbox/ does not working
> properly at this moment (I saw it worked before).
>
> APE is not a Java project (it uses a swi-prolog
> http://www.swi-prolog.org/ ), so it canot be deployed to GAE.
>
> But (a good news) we have a web avalibale APE
> http://attempto.ifi.uzh.ch/ape/ (this can be a solution - to use a
> specialized APE webservices)
>
> Today is the deadline for the proposal submiting, so it's the next
> last call for collaboration :-)
>
> Please answer who wish to help get runing a sort of AceWiki on GAE
> during the hakathon/clinic day.
> (093)
--
Regards,
Yuriy Milov
www.quicklydone.com
1-647-765-4386 (094)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2013/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2013
Community Portal: http://ontolog.cim3.net/wiki/ (095)
|