Jim <jimpil1...@gmail.com> writes:
> I am certainly not an ontology guru but I can confirm that what you describe
> is sort of valid...Ontologies will indeed help you find predicate-argument
> structures of the form subject->predicate->object (i.e "John likes pizza"),
> but in order to do that you have to build the domain-specific ontology first!
> But there is another way to get the same information via deep-parsing. A
> syntactic parser like stanford's or enju will give you back the nodes (tokens)
> and their dependencies (relations). You can shove that into a (directed &
> acyclic) graph structure and you're ready to query/navigate it as you like...

This breaks down somewhat when you definitions get nasty enough. Take
these two examples: the first says in English

A VeggiePizza is a Pizza, 
  and not a thing which has at least one MeatTopping
  and not a thing which has at least one FishTopping


The second says

A VeggiePizza is a Pizza
  which only has a topping which is not 
     meat or rish


Now, any and only individuals that fulfil the first definition also
fulfil the second: or, alternatively, for any set of individuals we can
think of, these two classes always have the same set.


(defclass VegetarianPizza
  :equivalent
  (owland Pizza
          (owlnot 
           (owlsome hasTopping MeatTopping))
          (owlnot 
           (owlsome hasTopping FishTopping))))

;; different, but equivalent, definition
(defclass VegetarianPizza2
  :equivalent 
  (owland Pizza
          (only hasTopping 
                (owlnot (owlor MeatTopping FishTopping)))))


Most of the time, the practical upshot of this is that you can ask "give
me all the VegetarianPizza's" and you get an answer.

Pizza's are just a standing example, BTW. I don't know if any one has
ever built an e-commerce site with an ontological backend.

Phil

-- 
-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to