Representing if-then sentence using OWL?

Question

I am working with basic OWL, and it\'s quite easy to represent some simple sentence like \"Songoku is a lecturer, he teaches Maths\".

E.g.:

Answer 1

This is a text in Attempto Controlled English (ACE):

Bob is a student. If Bob has 5 dogs then Bob has at least 1 cat.

and it has this representation in OWL:

ClassAssertion(
  :student
  :Bob
)
SubClassOf(
  ObjectIntersectionOf(
     ObjectOneOf(
        :Bob
     )
     ObjectMinCardinality(
        5
        :have
        :dog
     )
  )
  ObjectSomeValuesFrom(
     :have
     :cat
  )
)

which can be computed automatically with the ACE parser (APE). So, if you have managed to conceptualize your statement in English, it's worth checking if the ACE parser can map it automatically to OWL, see the online demo of the ACE parser.