This presentation is about:
- Introduction to OWL
- OWL Basics
- Class Expression Axioms
- Property Axioms
- Assertions
- Class Expressions -Propositional Connectives and Enumeration of Individuals
- Class Expressions -Property Restrictions
- Class Expressions -Cardinality Restrictions
This presentation is about:
- Introduction to OWL
- OWL Basics
- Class Expression Axioms
- Property Axioms
- Assertions
- Class Expressions -Propositional Connectives and Enumeration of Individuals
- Class Expressions -Property Restrictions
- Class Expressions -Cardinality Restrictions
OWL stands for Web Ontology Language
OWL is built on top of RDF
OWL is for processing information on the web
OWL was designed to be interpreted by computers
OWL was not designed for being read by people
OWL is written in XML
OWL has three sublanguages
- OWL Lite , OWL DL , OWL Full
OWL is a W3C standard
A non-technical explanation of the main ideas and notions in OWL.This talk was also recorded on video, and is available on-line at http://videolectures.net/koml04_harmelen_o/
The Semantic Web #9 - Web Ontology Language (OWL)Myungjin Lee
This is a lecture note #9 for my class of Graduate School of Yonsei University, Korea.
It describes Web Ontology Language (OWL) for authoring ontologies.
The OWL Web Ontology Language enables software engineers to define ontologies of domain knowledge which can be queried and reasoned over by software agents. OWL facilitates greater machine interpretability of content than that supported by XML, RDF, and RDF Schema by providing additional vocabulary along with formal semantics.
Lecture Notes by Mustafa Jarrar at Birzeit University, Palestine.
See the course webpage at: http://jarrar-courses.blogspot.com/2014/01/owl-web-ontology-language.html
and http://www.jarrar.info
you may also watch this lecture at: http://www.youtube.com/watch?v=5Kr4JzqDO_w
The lecture covers:
- Introduction to OWL
- OWL Basics
- Class Expression Axioms
- Property Axioms
- Assertions
- Class Expressions -Propositional Connectives and Enumeration of Individuals
- Class Expressions? -Property Restrictions
- Class Expressions? -Cardinality Restrictions
Understanding RDF: the Resource Description Framework in Context (1999)Dan Brickley
Dan Brickley, 3rd European Commission Metadata Workshop, Luxemburg, April 12th 1999
Understanding RDF: the Resource Description Framework in Context
http://ilrt.org/discovery/2001/01/understanding-rdf/
Lightening talk for Semantic Web in Libraries (SWIB13) conference at 2013-11-27 about another method of expressing RDF data. See http://gbv.github.io/aREF/ for a preliminary specification.
SWRL-F - A Fuzzy Logic Extension of the Semantic Web Rule LanguageRommel Carvalho
Presentation given by Tomasz Wlodarczyk at the 6th Uncertainty Reasoning for the Semantic Web Workshop at the 9th International Semantic Web Conference in 2010.
Paper: SWRL-F - A Fuzzy Logic Extension of the Semantic Web Rule Language
Abstract: Enhancing Semantic Web technologies with an ability to express uncertainty and imprecision is widely discussed topic. While SWRL can provide additional expressivity to OWL-based ontologies, it does not provide any way to handle uncertainty or imprecision. We introduce an extension of SWRL called SWRL-F that is based on SWRL rule language and uses SWRL's strong semantic foundation as its formal underpinning. We extend it with a SWRL-F ontology to enable fuzzy reasoning in the rule base. The resulting language provides small but powerful set of fuzzy operations that do not introduce inconsistencies in the host ontology.
Data Transformation using Semantic Web StandardsIrene Polikoff
This presentation explains the benefits of using Semantic Web standards for integration and transformation of data. Step by step examples are included.
OWL stands for Web Ontology Language
OWL is built on top of RDF
OWL is for processing information on the web
OWL was designed to be interpreted by computers
OWL was not designed for being read by people
OWL is written in XML
OWL has three sublanguages
- OWL Lite , OWL DL , OWL Full
OWL is a W3C standard
A non-technical explanation of the main ideas and notions in OWL.This talk was also recorded on video, and is available on-line at http://videolectures.net/koml04_harmelen_o/
The Semantic Web #9 - Web Ontology Language (OWL)Myungjin Lee
This is a lecture note #9 for my class of Graduate School of Yonsei University, Korea.
It describes Web Ontology Language (OWL) for authoring ontologies.
The OWL Web Ontology Language enables software engineers to define ontologies of domain knowledge which can be queried and reasoned over by software agents. OWL facilitates greater machine interpretability of content than that supported by XML, RDF, and RDF Schema by providing additional vocabulary along with formal semantics.
Lecture Notes by Mustafa Jarrar at Birzeit University, Palestine.
See the course webpage at: http://jarrar-courses.blogspot.com/2014/01/owl-web-ontology-language.html
and http://www.jarrar.info
you may also watch this lecture at: http://www.youtube.com/watch?v=5Kr4JzqDO_w
The lecture covers:
- Introduction to OWL
- OWL Basics
- Class Expression Axioms
- Property Axioms
- Assertions
- Class Expressions -Propositional Connectives and Enumeration of Individuals
- Class Expressions? -Property Restrictions
- Class Expressions? -Cardinality Restrictions
Understanding RDF: the Resource Description Framework in Context (1999)Dan Brickley
Dan Brickley, 3rd European Commission Metadata Workshop, Luxemburg, April 12th 1999
Understanding RDF: the Resource Description Framework in Context
http://ilrt.org/discovery/2001/01/understanding-rdf/
Lightening talk for Semantic Web in Libraries (SWIB13) conference at 2013-11-27 about another method of expressing RDF data. See http://gbv.github.io/aREF/ for a preliminary specification.
SWRL-F - A Fuzzy Logic Extension of the Semantic Web Rule LanguageRommel Carvalho
Presentation given by Tomasz Wlodarczyk at the 6th Uncertainty Reasoning for the Semantic Web Workshop at the 9th International Semantic Web Conference in 2010.
Paper: SWRL-F - A Fuzzy Logic Extension of the Semantic Web Rule Language
Abstract: Enhancing Semantic Web technologies with an ability to express uncertainty and imprecision is widely discussed topic. While SWRL can provide additional expressivity to OWL-based ontologies, it does not provide any way to handle uncertainty or imprecision. We introduce an extension of SWRL called SWRL-F that is based on SWRL rule language and uses SWRL's strong semantic foundation as its formal underpinning. We extend it with a SWRL-F ontology to enable fuzzy reasoning in the rule base. The resulting language provides small but powerful set of fuzzy operations that do not introduce inconsistencies in the host ontology.
Data Transformation using Semantic Web StandardsIrene Polikoff
This presentation explains the benefits of using Semantic Web standards for integration and transformation of data. Step by step examples are included.
UMBEL: Subject Concepts Layer for the WebMike Bergman
This is an intro to UMBEL (Upper Mapping and Binding Exchange Layer), a lightweight ontology for relating Web content and data to a standard set of 20,000 subject concepts. Connecting to the UMBEL structure gives context and coherence to Web data. Via UMBEL, Web content, data and metadata can be linked, made interoperable, and more easily navigated and discovered. These subject concepts have defined relationships between them, and can act as semantic binding nodes for any Web content or data. The UMBEL subject concepts are derived from the OpenCyc version of the proven Cyc knowledge base.
Presentation at the ESWC 2011 PhD Symposium in May 2011, by Michael Schneider, FZI. Included are backup slides that have not been presented at the event. The corresponding PhD proposal can be found in the ESWC proceedings at <http: />. Alternatively, the PhD proposal can be downloaded from <http: />.
Semantic Web languages: Expressivity vs scalabilitynvitucci
- Semantic Web and huge data sources are becoming more and more popular
- Reasoning should scale well, but the whole point of DLs is to be expressive
- Different approaches to representation and to reasoning are needed
- Research is moving towards scalable reasoning for expressive logics
Towards ubiquitous OWL computing: Simplifying programmatic authoring of and q...Hilmar Lapp
Presentation about two small tools addressing gaps commonly encountered when computing and programming with OWL (the Web Ontology Language) at scale. Given at the 2014 Bioinformatics Open Source Conference (BOSC).
The video of the talk is here: http://youtu.be/K0SlYwMyn-A
The formulation of constraints and the validation of RDF data against these constraints is a common requirement and a much sought-after feature, particularly as this is taken for granted in the XML world. Recently, RDF validation as a research field gained speed due to shared needs of data practitioners from a variety of domains. For constraint formulation and RDF data validation, several languages exist or are currently developed. Yet, none of the languages is able to meet all requirements raised by data professionals.
We have published a set of constraint types that are required by diverse stakeholders for data applications. We use these constraint types to gain a better understanding of the expressiveness of solutions, investigate the role that reasoning plays in practical data validation, and give directions for the further development of constraint languages.
We introduce a validation framework that enables to consistently execute RDF-based constraint languages on RDF data and to formulate constraints of any type in a way that mappings from high-level constraint languages to an intermediate generic representation can be created straight-forwardly. The framework reduces the representation of constraints to the absolute minimum, is based on formal logics, and consists of a very simple conceptual model with a small lightweight vocabulary. We demonstrate that using another layer on top of SPARQL ensures consistency regarding validation results and enables constraint transformations for each constraint type across RDF-based constraint languages.
Structured Dynamics provides 'ontology-driven applications'. Our product stack is geared to enable the semantic enterprise. The products are premised on preserving and leveraging existing information assets in an incremental, low-risk way. SD's products span from converters to authoring environments to Web services middleware and to eventual ontologies and user interfaces and applications.
Federated data stores using semantic web technologySteve Ray
Semantic web, or linked data technology can help address interoperability problems in the internet, and particularly in support of the Internet of Things. This is an simple introduction to this technology.
Although animals do not use language, they are capable of many of the same kinds of cognition as us; much of our experience is at a non-verbal level.
Semantics is the bridge between surface forms used in language and what we do and experience.
Language understanding depends on world knowledge (i.e. “the pig is in the pen” vs. “the ink is in the pen”)
We might not be ready for executives to specify policies themselves, but we can make the process from specification to behavior more automated, linked to precise vocabulary, and more traceable.
Advances such as SVBR and an English serialization for ISO Common Logic means that executives and line workers can understand why the system does certain things, or verify that policies and regulations are implemented
Linking Open, Big Data Using Semantic Web Technologies - An IntroductionRonald Ashri
The Physics Department of the University of Cagliari and the Linkalab Group invited me to talk about the Semantic Web and Linked Data - this is simply an introduction to the technologies involved.
Similar to Semantic Modelling using Semantic Web Technology (20)
Managing Metadata for Science and Technology Studies: the RISIS caseRinke Hoekstra
Presentation of our paper at the WHISE workshop at ESWC 2016 on requirements for metadata over non-public datasets for the science & technology studies field.
Prov-O-Viz is a visualisation service for provenance graphs expressed using the W3C PROV vocabulary. It uses the Sankey-style visualisation from D3js.
See http://provoviz.org
Linkitup: Link Discovery for Research DataRinke Hoekstra
Linkitup is a Web-based dashboard for enrichment of research output published via industry grade data repository services. It takes metadata entered through Figshare.com and tries to find equivalent terms, categories, persons or entities on the Linked Data cloud and several Web 2.0 services. It extracts references from publications, and tries to find the corresponding Digital Object Identifier (DOI). Linkitup feeds the enriched metadata back as links to the original article in the repository, but also builds a RDF representation of the metadata that can be downloaded separately, or published as research output in its own right. In this paper, we compare Linkitup to the standard workflow of publishing linked data, and show that it significantly lowers the threshold for publishing linked research data.
A Network Analysis of Dutch Regulations - Using the Metalex Document ServerRinke Hoekstra
In this paper we explore the possibilities of using the Linked Data representation of all Dutch regulations stored in the MetaLex Doc- ument Server for the purposes of network analysis over the citation graph between regulations, both at the document level, and at the article level. We show that this is possible using relatively straightforward SPARQL queries, and present preliminary results of the analysis.
A Network Analysis of Dutch Regulations. Rinke Hoekstra. figshare.
http://dx.doi.org/10.6084/m9.figshare.689880
Retrieved 11:12, Oct 07, 2013 (GMT)
This presentation describes the use by Data2Semantics (http://www.data2semantics.org) of the VIVO portal (http://vivoweb.org) for interlinking researchers contributing to projects within the COMMIT programme (http://www.commit-nl.nl).
The Data2Semantics project (COMMIT P23) is all about enriching research data, and making it more reusable for future research. Using Linked Data for this task is a fairly obvious step to make (surprise!). However, there are several shortcomings the current practices in publishing Linked Data, that calls for a slightly
different approach which (hopefully) bridges a gap between Web 2.0 and Web 3.0. I will present a proof-of-concept service (Linkitup) that works on top of existing scientific data repositories, and allows individual researchers to enrich their data with additional (linked) metadata.
Talk about the use of Linked Data in historical research on census data. Has some slides about TabLInker as well (http://github.com/Data2Semantics/TabLinker). Part of the data2semantics project (http://data2semantics.org)
Presentatie voor de Belastingdienst in het kader van een onderzoek naar de (on)mogelijkheden rond het herkennen en extraheren van concepten en hun definities, en het representeren daarvan met Semantic Web standaarden.
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...DanBrown980551
Do you want to learn how to model and simulate an electrical network from scratch in under an hour?
Then welcome to this PowSyBl workshop, hosted by Rte, the French Transmission System Operator (TSO)!
During the webinar, you will discover the PowSyBl ecosystem as well as handle and study an electrical network through an interactive Python notebook.
PowSyBl is an open source project hosted by LF Energy, which offers a comprehensive set of features for electrical grid modelling and simulation. Among other advanced features, PowSyBl provides:
- A fully editable and extendable library for grid component modelling;
- Visualization tools to display your network;
- Grid simulation tools, such as power flows, security analyses (with or without remedial actions) and sensitivity analyses;
The framework is mostly written in Java, with a Python binding so that Python developers can access PowSyBl functionalities as well.
What you will learn during the webinar:
- For beginners: discover PowSyBl's functionalities through a quick general presentation and the notebook, without needing any expert coding skills;
- For advanced developers: master the skills to efficiently apply PowSyBl functionalities to your real-world scenarios.
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
Kubernetes & AI - Beauty and the Beast !?! @KCD Istanbul 2024Tobias Schneck
As AI technology is pushing into IT I was wondering myself, as an “infrastructure container kubernetes guy”, how get this fancy AI technology get managed from an infrastructure operational view? Is it possible to apply our lovely cloud native principals as well? What benefit’s both technologies could bring to each other?
Let me take this questions and provide you a short journey through existing deployment models and use cases for AI software. On practical examples, we discuss what cloud/on-premise strategy we may need for applying it to our own infrastructure to get it to work from an enterprise perspective. I want to give an overview about infrastructure requirements and technologies, what could be beneficial or limiting your AI use cases in an enterprise environment. An interactive Demo will give you some insides, what approaches I got already working for real.
Accelerate your Kubernetes clusters with Varnish CachingThijs Feryn
A presentation about the usage and availability of Varnish on Kubernetes. This talk explores the capabilities of Varnish caching and shows how to use the Varnish Helm chart to deploy it to Kubernetes.
This presentation was delivered at K8SUG Singapore. See https://feryn.eu/presentations/accelerate-your-kubernetes-clusters-with-varnish-caching-k8sug-singapore-28-2024 for more details.
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...UiPathCommunity
💥 Speed, accuracy, and scaling – discover the superpowers of GenAI in action with UiPath Document Understanding and Communications Mining™:
See how to accelerate model training and optimize model performance with active learning
Learn about the latest enhancements to out-of-the-box document processing – with little to no training required
Get an exclusive demo of the new family of UiPath LLMs – GenAI models specialized for processing different types of documents and messages
This is a hands-on session specifically designed for automation developers and AI enthusiasts seeking to enhance their knowledge in leveraging the latest intelligent document processing capabilities offered by UiPath.
Speakers:
👨🏫 Andras Palfi, Senior Product Manager, UiPath
👩🏫 Lenka Dulovicova, Product Program Manager, UiPath
UiPath Test Automation using UiPath Test Suite series, part 4DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 4. In this session, we will cover Test Manager overview along with SAP heatmap.
The UiPath Test Manager overview with SAP heatmap webinar offers a concise yet comprehensive exploration of the role of a Test Manager within SAP environments, coupled with the utilization of heatmaps for effective testing strategies.
Participants will gain insights into the responsibilities, challenges, and best practices associated with test management in SAP projects. Additionally, the webinar delves into the significance of heatmaps as a visual aid for identifying testing priorities, areas of risk, and resource allocation within SAP landscapes. Through this session, attendees can expect to enhance their understanding of test management principles while learning practical approaches to optimize testing processes in SAP environments using heatmap visualization techniques
What will you get from this session?
1. Insights into SAP testing best practices
2. Heatmap utilization for testing
3. Optimization of testing processes
4. Demo
Topics covered:
Execution from the test manager
Orchestrator execution result
Defect reporting
SAP heatmap example with demo
Speaker:
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
JMeter webinar - integration with InfluxDB and GrafanaRTTS
Watch this recorded webinar about real-time monitoring of application performance. See how to integrate Apache JMeter, the open-source leader in performance testing, with InfluxDB, the open-source time-series database, and Grafana, the open-source analytics and visualization application.
In this webinar, we will review the benefits of leveraging InfluxDB and Grafana when executing load tests and demonstrate how these tools are used to visualize performance metrics.
Length: 30 minutes
Session Overview
-------------------------------------------
During this webinar, we will cover the following topics while demonstrating the integrations of JMeter, InfluxDB and Grafana:
- What out-of-the-box solutions are available for real-time monitoring JMeter tests?
- What are the benefits of integrating InfluxDB and Grafana into the load testing stack?
- Which features are provided by Grafana?
- Demonstration of InfluxDB and Grafana using a practice web application
To view the webinar recording, go to:
https://www.rttsweb.com/jmeter-integration-webinar
The Art of the Pitch: WordPress Relationships and SalesLaura Byrne
Clients don’t know what they don’t know. What web solutions are right for them? How does WordPress come into the picture? How do you make sure you understand scope and timeline? What do you do if sometime changes?
All these questions and more will be explored as we talk about matching clients’ needs with what your agency offers without pulling teeth or pulling your hair out. Practical tips, and strategies for successful relationship building that leads to closing the deal.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
Slack (or Teams) Automation for Bonterra Impact Management (fka Social Soluti...Jeffrey Haguewood
Sidekick Solutions uses Bonterra Impact Management (fka Social Solutions Apricot) and automation solutions to integrate data for business workflows.
We believe integration and automation are essential to user experience and the promise of efficient work through technology. Automation is the critical ingredient to realizing that full vision. We develop integration products and services for Bonterra Case Management software to support the deployment of automations for a variety of use cases.
This video focuses on the notifications, alerts, and approval requests using Slack for Bonterra Impact Management. The solutions covered in this webinar can also be deployed for Microsoft Teams.
Interested in deploying notification automations for Bonterra Impact Management? Contact us at sales@sidekicksolutionsllc.com to discuss next steps.
Essentials of Automations: Optimizing FME Workflows with ParametersSafe Software
Are you looking to streamline your workflows and boost your projects’ efficiency? Do you find yourself searching for ways to add flexibility and control over your FME workflows? If so, you’re in the right place.
Join us for an insightful dive into the world of FME parameters, a critical element in optimizing workflow efficiency. This webinar marks the beginning of our three-part “Essentials of Automation” series. This first webinar is designed to equip you with the knowledge and skills to utilize parameters effectively: enhancing the flexibility, maintainability, and user control of your FME projects.
Here’s what you’ll gain:
- Essentials of FME Parameters: Understand the pivotal role of parameters, including Reader/Writer, Transformer, User, and FME Flow categories. Discover how they are the key to unlocking automation and optimization within your workflows.
- Practical Applications in FME Form: Delve into key user parameter types including choice, connections, and file URLs. Allow users to control how a workflow runs, making your workflows more reusable. Learn to import values and deliver the best user experience for your workflows while enhancing accuracy.
- Optimization Strategies in FME Flow: Explore the creation and strategic deployment of parameters in FME Flow, including the use of deployment and geometry parameters, to maximize workflow efficiency.
- Pro Tips for Success: Gain insights on parameterizing connections and leveraging new features like Conditional Visibility for clarity and simplicity.
We’ll wrap up with a glimpse into future webinars, followed by a Q&A session to address your specific questions surrounding this topic.
Don’t miss this opportunity to elevate your FME expertise and drive your projects to new heights of efficiency.
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Albert Hoitingh
In this session I delve into the encryption technology used in Microsoft 365 and Microsoft Purview. Including the concepts of Customer Key and Double Key Encryption.
Neuro-symbolic is not enough, we need neuro-*semantic*Frank van Harmelen
Neuro-symbolic (NeSy) AI is on the rise. However, simply machine learning on just any symbolic structure is not sufficient to really harvest the gains of NeSy. These will only be gained when the symbolic structures have an actual semantics. I give an operational definition of semantics as “predictable inference”.
All of this illustrated with link prediction over knowledge graphs, but the argument is general.
Neuro-symbolic is not enough, we need neuro-*semantic*
Semantic Modelling using Semantic Web Technology
1. Semantic Modelling WorkshopSemantic Web Technology RinkeHoekstrahoekstra@few.vu.nl Semantic Web Rubik's Cube by dullhunk at flickr under a cc-license. Thanks!
2.
3. Overview Semantic Web: background Ideology Semantic Web and Linked Data Knowledge Representation and Ontology Quick overview RDF and RDFS OWL 2 DL SKOS SPARQL Resources Wrap Up Tutorial information
5. The Semantic Web Ideology Identity is everything Partial solutions are great too! Layer cake/Web Stack 2/22/10 5 OWL
6. Key Aspects World Wide Web Consortium Globally unique identifiers URI and IRI Straightforward data integration Interdependent languages Resource Description Framework (RDF) RDF Schema (RDFS) Web Ontology Language (OWL), and OWL 2 SPARQL Query Language for RDF (SPARQL) Semantic Web Rule Language (SWRL) Rule Interchange Format (RIF) Simple Knowledge Organization System (SKOS)
19. But… not just Web History Semantic Networks and Frame Systems (‘70-ies) Formal Knowledge Representation (KL-One) Description Logics (DL) Model Theoretic Semantics Logic programming Strongly based in methodology Knowledge sharing and reuse Ontologies Formal semantics
20. Why Ontology? Knowledge bases that mix procedural and declarative knowledge are extremely hard to reuse Ontologies capture the `domain theory’ of a KBS: that what a KBS knows about Procedures capture what a KBS does with that knowledge Problem Solving Methods Slight problem: Rules look like procedures, but can also capture declarative knowledge
21. Why Formal Semantics? Standard inferences, dependable reasoning Reusable KBS components should guarantee: Soundnessall answers given should be correct Completenessthe system should give all answers Timelinessthe system should answer within reasonable time Consistencythe knowledge in a KB should be provably correct
22. WARNING Reasoners on the Semantic Web adopt the Open World Assumption as opposed to the Closed World Assumption of many other languages This means that: If a reasoner cannot infer that a conclusion holds, it stays silent, and will not report that it does not hold. This is contrary to the negation as failure (NAF) feature of many rule languages. Why? NAF hinders reusability on the Web because conclusions may change depending on new information.
23. Ingredients Ontology (TBox) Classesconcepts in the domain (≈ DB tables) Propertiesrelations that hold between individuals, or between an individual and a literal value (≈ DB columns) Axioms (only in OWL)restrictions on relations that may hold between instances of a certain class. Assertions (ABox) Individualsinstances of classes in the ontology (≈ DB records) Property assertionsrelations that hold between instances (≈ DB record entries) Rules
26. Multiple Syntaxes RDF RDF/XMLVerbose, does not make an exact ‘fit’ with RDF data model TurtleHuman readable RDFaEmbedded in XHTML as attributes TriXSupports ‘named graphs’ OWL All RDF syntaxes, though RDF/XML is normative OWL XMLXSLT-able Functional SyntaxMapping to Structural Specification (UML MOF) Manchester SyntaxHuman readable, used by most editors (Protégé, TopBraid)
27. 2/22/10 18 URI’sand Namespaces URI: Universal Resource Identifier ... Just an identifier http://www.leibnizcenter.org/people#joost URL: Universal Resource Location http://www.leibnizcenter.org/people#joost URN: Universal Resource Name urn:leibnizcenter:people:joost Namespace A ‘space’ in which all locally defined names are unique, e.g.: http://www.leibnizcenter.org/people#joost http://www.hcs.science.uva.nl/staff#joost Basis for `trust’
32. OWL 2 DL Reasoning Consistency and coherency checking Are all axioms and assertions consistent? Classification Determine subclass relations between classes Infer disjointness and equivalence of classes Realization Determine class membership for individuals Infer new property relations with other individuals
33. OWL 2 DL (1) owl:Thing and owl:Nothing Class axioms Intersection, union, disjointness, equivalence:Minister disjointWith:Kamerlid someValuesFrom (existential):Omnivore subClassOf:Animal and (:eats some :Vegetable) allValuesFrom (universal):Herbivore subClassOf:Animal and (:eats only :Vegetable) hasValue:CowsCalledBettyequivalentTo:Cow and (:name has “Betty”) Self:Narcissist equivalentTo:likes Self
35. OWL 2 Profiles Subsets of OWL 2 syntax that have desirable computational properties OWL 2 QL Optimized for ontologies with many instances Query answering OWL 2 EL Optimized for ontologies with many classes OWL 2 RL Implementable using rule-based technology
36. Vocabularies RDFS and OWL 2 DL semantics often too much Simple method for describing taxonomies Simple Knowledge Organization System Lifting existing KOS’s to the Semantic Web Every skos:Concept is an OWL individual Lightweight semantic relations: broader, narrower, and related. Lightweight mapping relations between skos:ConceptSchemes. JURIX 2009
37. Querying: SPARQL RDF Repositories exposed via SPARQL Endpoints Query types SELECT … WHERE … CONSTRUCT … WHERE … ( similar to rules!) DELETE … WHERE … Example PREFIXr: <http://www.overheid.nl/regering#> PREFIXk: <http://www.overheid.nl/kabinet#> SELECT ?name WHERE { ?xr:is_premier_van k:balkenende_4. ?xr:name?name } ?xbinds with <http://www.overheid.nl/personen#balkenende> ?name binds with“Jan Peter Balkenende”^^xsd:string 2/22/10 27
40. Wrap Up: Benefits Single `database schema’ eases query writing Global identifiers facilitate data integration Layered approach eases extensibility Formal semantics ensure dependability
41. Wrap Up: Tutorial Information 2 Hour session TopBraid Composer Standard (trial license) What we’ll do: Understanding an ontology & using a reasoner Data integration using SPARQL Simple OWL class definitions Advanced OWL class definitions (extra)