To jest stara wersja strony!
Opis
Wojciech Franczak, email: franczak@student.agh.edu.pl
OWL_Rules
How decision rules can be represented, encoded in OWL rules in description logic, description logic programs, swrl?
Spotkania
20090409
20090319
20090305
skupiamy się na swrl, szkic biblio w tex ,
przyklad
20090219
Zgodnie z mailem: Są różne podejścia w tym bazujące na DL
https://ai.ia.agh.edu.pl/wiki/hekate:semweb:dl_intro lub nadbudowujące nad owl, np. swrl, proszę poszukać, poczytać, poszukac publikacji, ma między innymi powstać bibliografia w bibtex, a jeżeli sa dostępne, to pdfy w wiki!
angielski
-
Projekt
Sprawozdanie
More examples
Class Inferences
Cat Owners like Cats
Class(a:cat_owner complete intersectionOf(a:person
restriction(a:has_pet someValuesFrom (a:cat))))
SubPropertyOf(a:has_pet a:likes)
Class(a:cat_liker complete intersectionOf(a:person
restriction(a:likes someValuesFrom (a:cat))))
Drivers are Grown Ups (Note: A grown up is an adult person)
Class(a:driver complete intersectionOf(a:person
restriction(a:drives someValuesFrom (a:vehicle))))
Class(a:driver partial a:adult)
Class(a:grownup complete intersectionOf(a:adult a:person))
Giraffes are Vegetarians
Class(a:giraffe partial a:animal
restriction(a:eats allValuesFrom (a:leaf)))
Class(a:leaf partial restriction(a:part_of someValuesFrom (a:tree)))
Class(a:tree partial a:plant)
DisjointClasses(unionOf(restriction(a:part_of someValuesFrom (a:animal)) a:animal)
unionOf(a:plant restriction(a:part_of someValuesFrom (a:plant))))
Class(a:vegetarian complete intersectionOf(
restriction(a:eats allValuesFrom (complementOf(restriction(a:part_of someValuesFrom (a:animal)))))
restriction(a:eats allValuesFrom (complementOf(a:animal))) a:animal))
Giraffes only eat leaves
Leaves are parts of trees, which are plants
Plants and parts of plants are disjoint from animals and parts of animals
Instance Inferences
The Daily Mirror is a Tabloid
Individual(a:Daily_Mirror type(owl:Thing))
Individual(a:Mick type(a:male)
value(a:drives a:Q123_ABC)
value(a:reads a:Daily_Mirror))
Individual(a:Q123_ABC type(a:van) type(a:white_thing))
Class(a:white_van_man complete
intersectionOf(a:man restriction(a:drives someValuesFrom (intersectionOf(a:van a:white_thing)))))
Class(a:white_van_man partial restriction(a:reads allValuesFrom (a:tabloid)))
Tom is a Cat
Individual(a:Minnie type(a:female) type(a:elderly) value(a:has_pet a:Tom))
Individual(a:Tom type(owl:Thing))
ObjectProperty(a:has_pet domain(a:person) range(a:animal))
Class(a:old_lady complete
intersectionOf(a:person a:female a:elderly))
Class(a:old_lady partial intersectionOf(
restriction(a:has_pet allValuesFrom (a:cat))
restriction(a:has_pet someValuesFrom (a:animal))
BIBTEX
Is a tool for formatting lists of references. The BibTeX tool is typically used together with the LaTeX document preparation system.
code example:
@Book{abramowitz+stegun,
author = "Milton Abramowitz and Irene A. Stegun",
title = "Handbook of Mathematical Functions with
Formulas, Graphs, and Mathematical Tables",
publisher = "Dover",
year = 1964,
address = "New York",
edition = "ninth Dover printing, tenth GPO printing"
}
Inclusion bibliography base in the file follow by after command 'bibliography'
example:
\bibliography{file_name} - where 'file_name' is file with base.
Prezentacja
Materiały