Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:piw08_hekateonto [2008/06/30 15:52] ikaf owl notes |
pl:miw:piw08_hekateonto [2019/06/27 15:50] (aktualna) |
* [[http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=ERDF|ERDF]] | * [[http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=ERDF|ERDF]] |
| |
co to jest [[wp>datalog]]... | -------- |
| |
| |
| co to jest [[wp>datalog]]... \\ |
| (język reguł i zapytań dla dedukcyjnych baz danych, składnia podzbiorem Prologu. W przeciwieństwie do Prologu: |
| * nie dopuszcza złożonych termów jako argumentów predykatów |
| * narzuca pewne ograniczenia na użycie negacji i rekurencji |
| * nie dopuszcza "wolnych" zmiennych - zmienna w następniku reguły musi wystąpić w nie zanegowanej klauzuli poprzednika |
| Ponadto w datalogu kolejność klauzul nie ma znaczenia dla wyniku zapytania.) |
| |
business rules orchestration | business rules orchestration |
[[http://www.w3.org/2005/rules/wiki/SWC|RIF RDF and OWL Compatibility]] | [[http://www.w3.org/2005/rules/wiki/SWC|RIF RDF and OWL Compatibility]] |
| |
[[hekate:xtt|XTT desc proposal]] | [[hekate:xtt|XTT desc proposal]] ( |
| * Domain - discrete finite set of allowed attribute values a przedzialy dla wartosci atrybutow typu numeric? |
| * |
| )\\ |
[[http://www.w3.org/2001/sw/WebOnt/impls|OWL implementations]] | [[http://www.w3.org/2001/sw/WebOnt/impls|OWL implementations]] |
| |
A generalized attribute Ai is a function (or partial function) of the form\\ | A generalized attribute Ai is a function (or partial function) of the form\\ |
{{:pl:miw:atrybut-def2.png|:pl:miw:atrybut-def2.png}}\\ | {{:pl:miw:atrybut-def2.png|:pl:miw:atrybut-def2.png}}\\ |
| |
| |
| |
| |
"RDF is based on the idea that the things being described have properties which have values, and that resources can be described by making statements that specify those properties and values. RDF uses a particular terminology for talking about the various parts of statements." (W3C RDF Primer) | "RDF is based on the idea that the things being described have properties which have values, and that resources can be described by making statements that specify those properties and values. RDF uses a particular terminology for talking about the various parts of statements." (W3C RDF Primer) |
**Attributes are represented in RDF in a form of RDF Triples (subject, predicate, object) where subject denote the resource being described, predicate indicate the name of the attribute and object points to the attribute (predicate) value.** RDF statements (triples) consist of subject, predicate and object which all are identified by URIs. | **Attributes are represented in RDF in a form of RDF Triples (subject, predicate, object) where subject denotes the resource being described, predicate indicates the name of the attribute and object points to the attribute (predicate) value.** RDF statements (triples) consist of subject, predicate and object which all are identified by URIs. |
| |
^ Part of an RDF triple ^ Can be ^ | ^ Part of an RDF triple ^ Can be ^ |
| |
====== Sprawozdanie ====== | ====== Sprawozdanie ====== |
| |
| |
| |
[[http://gigapedia.org/items/51325/logical-foundations-for-rule-based-systems--studies-in-computational-intelligence---studies-in-computational-intelligence-|A.Ligęza - Logical Foundations for Rule-Based Systems]] \\ | [[http://gigapedia.org/items/51325/logical-foundations-for-rule-based-systems--studies-in-computational-intelligence---studies-in-computational-intelligence-|A.Ligęza - Logical Foundations for Rule-Based Systems]] \\ |
http://oxygen.informatik.tu-cottbus.de/IT/Research/ERDF-JAIR-2008.pdf\\ | http://oxygen.informatik.tu-cottbus.de/IT/Research/ERDF-JAIR-2008.pdf\\ |
| http://www.w3.org/TR/2004/REC-owl-guide-20040210/\\ |
| http://www.w3.org/TR/2004/REC-owl-features-20040210/\\ |