Re: Question about ontology

To keep it simple the relationship "pouring" is of 3 arguments: e_bottle,
liquide, b_with_l
with an axiom
pouring(e_bottle, liquide, b_with_l) implies liquide_in(b_with_l)=liquide
and bottle_of(b_with_l)=e_bottle


2013/9/9 System Bridge <sysbri1@gmail.com>

> Hello,
>
> we are group of PHD students and we would like to ask you (ontology
> experts) for help/advice.
>
> We`re trying to make a simple expert system using ontology as knowledge
> base. We have come to few problems and before making any conclusions, we
> would like to confront it with you.
>
>  We noticed that every explanation and example we found uses object
> hierarchy, e.g. OneThing isPartOf OtherThing or OneThing hasPart
> OtherThings. We don`t know how to model process which also causes that
> resulting object will be assembled from some other objects. For example:
>
>    a) Object Empty bottle
>    b) Object Liquid
>    c) Process: Liquid will be poured into the Empty bottle and thus will
> create some new object Bottle filled with liquid - see image attached.
>
>
> What we need is to define a relation “Pouring” that is between liquid and
> empty bottle. In fact we don’t really need “is part of” relations if there
> is a way to express “is part of” implicitly in “Pouring” relation, because
> it is obvious that the "Bottle with liquid" was created by "Pouring" the
> "Liquid" into the "Empty bottle". Also the direction of "Pouring" is
> important for us.
>
> So, the question is whether you may help us either by explaining this
> particular example or providing us with helpful source of information how
> to solve it.
>
> Thanks in advance
>
> Your sincerely
>
> Sybri team, University of Zilina, Slovakia[image: Inline image 1]
>