[[
✎ pl:miw:2009:miw09_owl_rules_2
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
====== Opis ====== Mariusz Sokołowski <mmarsokol@gmail.com> Opis projektu ze strony [[pl:miw:2009:miw2009_tematy#owl_rules|miw2009_tematy]]: ==== OWL_Rules ==== How decision rules can be represented, encoded in [[http://www.w3.org/2004/OWL|OWL]] rules in description logic, description logic programs, swrl? ====== Spotkania ====== ===== 20090319 ===== * reguły w owl! ===== 20090312 ===== * [[hekate:semweb:dl_intro|poczytac o DL]] * wstępna klasteryzacja ===== 20090225 ===== * wyszukać materiały dostępne w sieci i poczytać ====== Projekt ====== ====== Sprawozdanie ====== An ontology defines the terms used to describe and represent an area of knowledge. Ontologies include computer-usable definitions of basic concepts in the domain and the relationships among them. \\ The three species of OWL: * OWL-Lite * OWL-DL * OWL-Full \\ OWL adds the following capabilities to earlier ontologies like RDF: * ability to be distributed across many systems * scalable to Web needs * compatible with Web standards for accessibility and internationalization. * open and extensible \\ Six main areas of implemented applications using OWL: * web portals - categorization rules used to enhance search * multimedia collections - content-based searches for non-text media * corporate web site management - automated taxonomical organization of data and documents, mapping between corporate sectors (mergers) * design documentation - explication of "derived" assemblies, explicit management of constraints * intelligent agents - expressing user preferences and/or interests, content mapping between Web sites * web services and ubiquitous computing - web service discovery and composition, rights management and access control \\ Features that would be useful for many use cases and could be included in OWL language: * layering of language features * default property values * ability to state closed worlds * range constraints on data types * chained properties * effective decision procedure * commitment to portions of ontologies * view mechanism * integration of digital signatures * arithmetic primitives * string manipulation * aggregation and grouping * procedural attachment * local unique names assumptions * complex data types ====== Prezentacja ====== ====== Materiały ====== ==== OWL Rules: ==== * [[http://www.cs.man.ac.uk/~horrocks/DAML/Rules/|A Proposal for an OWL Rules Language]] * [[http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2004/HoPa04a.pdf|I. Horrocks, P. F. Patel-Schneider: A Proposal for an OWL Rules Language]] * [[http://www.ruleml.org/|RuleML]] * [[http://www.w3.org/Submission/SWRL/|SWRL: A Semantic Web Rule Language - Combining OWL and RuleML]] * [[http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2004/TRBH04a.pdf|D. Tsarkov, A. Riazanov, S. Bechhofer, I. Horrocks: Using Vampire to Reason with OWL]] * [[http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2005/HPBT05.pdf|I. Horrocks, P. F. Patel-Schneider, S. Bechhofer, D. Tsarkov: OWL Rules - A Proposal and Prototype Implementation]] * [[http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2006/PSSTH06.pdf|J. Z. Pan, G. Stoilos, G. Stamou, V. Tzouvaras, I. Horrocks: f-SWRL: A Fuzzy Extension of SWRL]] * [[http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2006/MHRS06.pdf|B. Motik, I. Horrocks, R. Rosati, U. Sattler: Can OWL and Logic Programming Live Together Happily Ever After?]] ==== inne: ==== * [[hekate:semweb:dl_intro|Description Logics and OWL in the Semantic Web]] * [[http://www.w3.org/TR/owl-xmlsyntax/|OWL Web Ontology Language - XML Presentation Syntax]] * [[http://www.w3.org/TR/owl-semantics/|OWL Web Ontology Language - Semantics and Abstract Syntax ]] * [[http://www.w3.org/TR/owl-features/|OWL Web Ontology Language - Overview]] * [[http://www.w3.org/TR/owl-ref/|OWL Web Ontology Language - Reference]] * [[http://www.w3.org/TR/webont-req/|OWL Web Ontology Language - Use Cases and Requirements]] * [[http://www.w3.org/TR/owl-guide/|OWL Web Ontology Language - Guide]] * [[http://www.w3.org/TR/owl-parsing/|OWL Web Ontology Language - Parsing OWL in RDF/XML]] * [[http://www.w3.org/TR/owl-test/|OWL Web Ontology Language - Test Cases]] * [[http://www.w3.org/2003/08/owlfaq.html|Frequently Asked Questions on W3C's Web Ontology Language (OWL)]] * [[http://www.w3.org/2004/OWL/|Web Ontology Language (OWL)]] * [[http://www.jfsowa.com/ontology/|Knowledge Representation Ontology]] * [[http://www.cs.man.ac.uk/~horrocks/ISWC2003/Tutorial/|S. Bechhofer, I. Horrocks, P. F. Patel-Schneider: Tutorial on OWL]] * [[http://www.inf.unibz.it/~franconi/dl/course/|Description Logics Course]] * [[http://dl.kr.org/|Description Logics]] * [[http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-01.pdf|D. Nardi, R. J. Brachman: An Introduction to Description Logics]] * [[http://protege.stanford.edu/publications/ontology_development/ontology101-noy-mcguinness.html|N. F. Noy, D. L. McGuinness: Ontology Development 101 - A Guide to Creating Your First Ontology]] * [[http://www.co-ode.org/resources/tutorials/ProtegeOWLTutorial.pdf|M. Horridge, H. Knublauch, A. Rector, R. Stevens, Ch. Wroe: A Practical Guide To Building OWL Ontologies Using The Protege-OWL Plugin and CO-ODE Tools Edition 1.0]] * [[http://www.cs.man.ac.uk/~horrocks/Slides/index.html|Ian Horrocks - Slides from Presentations]] * [[http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Papers/uschold99.pdf|M. Uschold, R. Jasper: A Framework for Understanding and Classifying Ontology Applications]] * [[http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/BaHS03.pdf|F. Baader, I. Horrocks, U. Sattler: Description Logic as Ontology Languages for the Semantic Web]] * [[http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/HoPH03a.pdf|I. Horrocks, P. F. Patel-Schneider, F. van Harmelen: From SHIQ and RDF to OWL - The Making of a Web Ontology Language]] * [[http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Papers/ekaw-experience-with-owl-rector-et-al-final.pdf|A. Rector, N. Drummond, M. Horridge, J. Rogers, H. Knublauch, R. Stevens, H. Wang, Ch. Wroe: OWL Pizzas - Practical Experience of Teaching OWL-DL - Common Errors & Common Patterns]] * [[http://www.cs.man.ac.uk/~rector/papers/rector-k-cap-untangling-taxonomies-web.pdf|A. L. Rector, Ch. Wroe, J. Rogers, A. Roberts: Untangling Taxonomies and Relationships - Personal and Practical Problems in Loosely Coupled Development of Large Ontologies]] * [[http://www.cs.man.ac.uk/~rector/papers/rector-psb-04-113.pdf|A. Rector: Defaults, Context, and Knowledge - Alternatives for OWL-indexed Knowledge Bases]] * [[http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Slides/introduction.pdf|I. Horrocks, A. Rector: Introduction to the Semantic Web - presentation]] * [[http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Slides/ontologies.pdf|I. Horrocks: Ontology Languages for the Semantic Web - presentation]] * [[http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Slides/pt2-dlintro.pdf|I. Horrocks: An Introduction to Description Logics - presentation]] * [[http://owl.man.ac.uk/2003/why/latest/|OWL Reasoning Examples]] * [[http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Slides/pt3-dlreasoning.pdf|I. Horrocks: Description Logic Reasoning - presentation]] * [[http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Slides/pt3a-advanced-algorithms.pdf|I. Horrocks: Reasoning Procedures II (DL) - presentation]] * [[http://www.cs.man.ac.uk/~rector/modules/CS646/Lecture-Handouts/Lect-1-Ontology-and-OWL-2007.pdf|A. Rector: Lecture 1 Building Ontologies 1 - slides]] * [[http://www.cs.man.ac.uk/~rector/modules/CS646/Lecture-Handouts/Lect-2-Ontology-building-2007.pdf|A. Rector: Lecture 2 Building Ontologies & Knowledge Elicitation - slides]] * [[http://www.cs.man.ac.uk/~rector/modules/CS646/Lecture-Handouts/Lect-3-problems-and-patterns-2007.ppt.pdf|A. Rector: Lecture 3 Common problems, Ontology Patterns, Re-representing properties and classes, Parts and Wholes - slides]] * [[http://www.cs.man.ac.uk/~rector/modules/CS646/Lecture-Handouts/Lecture-4-more-patterns.ppt.pdf|A. Rector: Lecture 4 More Pattern and a Problem, Classes as Values, Combining Necessary & Sufficient with Necessary conditions (General Inclusion Axioms - GICs) - slides]] * [[http://protege.stanford.edu/plugins/owl/ontologies.html|Protege OWL - Ontology Editor for the Semantic Web]] * [[http://protege.stanford.edu/plugins/owl/publications/ISWC2004-protege-owl.pdf|H. Knublauch, R. W. Fergerson, N. F. Noy, M. A. Musen: The Protege OWL Plugin - An Open Development Environment for Semantic Web Applications]] * [[http://protege.stanford.edu/plugins/owl/publications/DL2004-protege-owl.pdf|H. Knublauch, M. A. Musen, A. L. Rector: Editing Description Logic Ontologies with the Protege OWL Plugin]] * [[http://protege.stanford.edu/plugins/owl/publications/KRMed2004-protege-owl.pdf|H. Knublauch, O. Dameron, M. A. Musen: Weaving the Biomedical Semantic Web with the Protege OWL Plugin]] * [[http://www.cs.man.ac.uk/~horrocks/Slides/IJCAR-tutorial/Print/p1-introduction.pdf|I. Horrocks, U. Sattler: Description Logics - Basics, Applications, and More]] * [[http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/complete.html|Ian Horrocks's Publications]] * [[http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/|CEUR Workshop Proceedings - publications]] * [[http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-196/alpsws2006-proceedings.pdf|ICLP'06 Workshop - ALPSWS2006: Applications of Logic Programming in the Semantic Web and Semantic Web Services]] * [[http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-287/alpsws07P.pdf|ICLP'07 Workshop - ALPSWS2007: Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services]] * [[http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-434/alpsws2008-procs.pdf|ICLP'08 Workshop - ALPSWS2008: Applications of Logic Programming to the (Semantic) Web and Web Services]] * [[http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-287/paper_8.pdf|H. Kattenstroth, W. May, F. Schenk: Combining OWL with F-Logic Rules and Defaults]] * [[http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-432/owled2008eu_submission_13.pdf|B. Motik, B. Cuenca Grau, I. Horrocks, U. Sattler: Modeling Ontologies Using OWL, Description Graphs, and Rules]] * [[http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-188/sub21.pdf|Ch. Golbreich, O. Dameron, O. Bierlaire, B. Gibaud: What reasoning support for Ontology and Rules?]] * [[http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-188/sub22.pdf|A. Cregan, M. Mochol, D. Vrandecic, S. Bechhofer: Pushing the limits of OWL, Rules and Protege]] * [[http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-314/42.pdf|F. A. Lisi, F. Esposito: Building Rules on top of Ontologies? Inductive Logic Programming can help!]] * [[http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-314/31.pdf|D. Redavid, L. Iannone, T. Payne: OWL-S Atomic services composition with SWRL rules]]
pl/miw/2009/miw09_owl_rules_2.1236886923.txt.gz
· ostatnio zmienione: 2019/06/27 15:57 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry