Object Logic in a Nutshell

Object Logic in a Nutshell

The module gives an introduction into the modeling language ObjectLogic. We focus primarily on the very language itself like concepts and instances, attributes and relations, and of course rules. In parallel we make use of OntoStudio, pinpointing the differences between modelling directy with ObjectLogic and modelling with the help of a sophisticated modelling workbench.

Beside developing specific competencies this module is also dedicated to show the participants how to take advantage of the comprehensive scope of information offered by Ontoprise for customers.

target audience

  • Domain experts and knowledge engineers who want to learn basic modelling (i.e. taxonomies and rules) with Ontostudio and ObjectLogic.

learning objectives

  • understand the Frame-structure of ObjectLogic
  • have a good command of the syntax and semantics of the ObjectLogic modeling language
  • are competent to craft ObjectLogic ontologies manually and with the help of OntoStudio 2.3

learning prerequisites

  • basic understanding of sections "Propositional Logic" and "Predicate Logic" from http://www.jfsowa.com/logic/math.htm
  • personal laptop with OntoStudio 2.3 installed (please request software and licence key in advance form Ontoprise)

instruction methods

  • presentation, discussion, small group work, hands on coding with OntoStudio

Schedule for Tuesday 2010-02-22, 10:00 - 18:00

t objective soz social form, method zeit time ziel learning objective text ressources welcome soz discussion zeit 30 min ziel
  • participants come together
  • clarify learning prerequisites
  • clarify technical prerequisites, i.e. OntoStudio 2.3 installation
text
  • none
hello world: how to classify a fire engine soz presentation participants go along with their laptops zeit 90 min ziel
  • insight into basic concepts of semantic modelling
  • have OntoStudio running
  • execute a first ontololgy in OntoStudio
text F-Logic Syntax soz presentation zeit 90 min ziel
  • Basics of FLO syntax (without rules)
text
  • html-Slides FloNutshell (completely incl. introd. into aggregations)
lunch soz walk, eat, walk, chill zeit 12:30-14:00 ziel
  • insight into basic concepts of italian cooking
text F-Logic Syntax (continued) discussion soz plenary discussion zeit up to 60 min ziel
  • discussion
  • clarify unexpected issues
  • misc. minor content
text
  • 2b decided just in time

Schedule for Wednesday 2010-02-23, 9:00 - 16:00

t objective soz social form, method zeit time ziel learning objective text ressources a fully fledged modelling example soz presentation participants go along with their laptops zeit 90 min ziel
  • model a full ontology in OntoStudio
text more about OntoStudio soz presentation zeit 60 min ziel
  • show more details of OntoStudio
text
  • hands on presentation by an OntoStudio Expert
lunch soz walk, eat, walk, chill zeit 12-13:30 ziel
  • traditional german food
text F-Logic Rules soz presentation zeit 30 min ziel
  • modelling rules in F-Logic and with OntoStudio
text
  • we specifically look at the rule sections of FloNutshell
hands on rule modelling soz participants model rules zeit 60 min ziel
  • modelling rules in F-Logic and with OntoStudio
text
  • TBD: rule modelling examples have 2b defined
discussion and debriefing soz plenary discussion zeit up to 60 min ziel
  • discussion
  • clarify issues
  • overview over information site of Ontoprise
text
  • this website
  • OTC ?