Free Semantic Content: Using OpenCyc in Semantic Web Applications
author: Blaž Fortuna, Department of Knowledge Technologies, Jožef Stefan Institute
author: Marko Grobelnik, Department of Knowledge Technologies, Jožef Stefan Institute
Description
OpenCyc will be more accessible and Semantic Web interoperability will be enhanced if users are able to access just the parts of OpenCyc they need. The tutorial will describe how Semantic Web researchers and practitioners can benefit from integrating their representations with the extensive upper and middle level ontological content of the free and unrestricted OpenCyc knowledge base, and other integrative vocabularies like Okkam. The syntax of OpenCyc will be described both in raw form, and as mapped onto Semantic Web standard languages, and the content of the knowledge base will be described in overview. Based on that, we’ll show how to extend the OpenCyc KB for user applications, and how to make use of it in a web-services environment to support knowledge integration, and simple machine learning applications. Finally, we’ll demonstrate the use of the OpenCyc vocabulary to support a broad-applicability knowledge capture application, illustrative of the transition from Web2.0 to Web3.0. Hands on exercises will be used to illustrate knowledge use and construction, use of OpenCyc with inference, and use for semantic search over text in a web services environment.
| Slides | |
| 0:00 | Free Semantic Content: Using OpenCyc in Semantic Web Applications |
| 1:23 | Introduction to Cyc |
| 1:41 | Knowledge Evolves more Quickly than Humans |
| 3:06 | Logistics (1) |
| 4:51 | Logistics (2) |
| 4:57 | Detailed Representations |
| 5:40 | Semantic Search Results |
| 6:31 | Content adaptation: heart valve repair |
| 7:33 | True Question Answering |
| 7:51 | Knowledge for People |
| 8:12 | Example |
| 8:17 | Formal Representation for Reasoning |
| 9:15 | Syntactic Power |
| 11:28 | For Inference: Senses of 'In' |
| 13:03 | The Syntax of CycL |
| 13:44 | CycL Constants |
| 14:13 | Truth Functions |
| 14:41 | CycL Sentences |
| 15:37 | Non-atomic Terms |
| 16:41 | Important Relations- #$genls |
| 17:44 | Important Relations- #$isa |
| 18:30 | Important Relations- #$prettyString |
| 19:27 | Well fomednes - #$arity |
| 20:11 | Arity - #$arity |
| 20:20 | Well-Formedness - Argument Type Constrains |
| 21:51 | Complex Formulas |
| 22:12 | Logical Connectives |
| 22:32 | Examples: Logical Connectives |
| 22:49 | Quantification |
| 23:02 | Universal Quantification |
| 23:27 | Rules using Universal Quantification (1) |
| 24:11 | Rules using Universal Quantification (2) |
| 24:48 | Unbound Variables in Rules |
| 25:09 | Existential Quantification |
| 25:23 | Example: Existential Quantification |
| 25:48 | Rules using Existential Quantification |
| 26:11 | Other Quantification |
| 26:28 | Overview of OpenCyc Content |
| 27:08 | Cyc Representation |
| 31:24 | Open and Research |
| 33:45 | Open Cyc Predicate Populations |
| 39:25 | Geospatial Knowledge |
| 40:23 | Systems and Processes |
| 41:08 | Ecosystem Classes (1) |
| 41:34 | Ecosystem Classes (2) |
| 43:26 | Some Transportation Event Types |
| 44:28 | Relating Events and Participants |
| 47:32 | Event Types |
| 48:57 | Organizational Relations |
| 49:02 | Emotions |
| 50:01 | Propositional Attitudes |
| 50:33 | Biology |
| 51:07 | Materials |
| 51:37 | Devices |
| 52:11 | Weather |
| 52:37 | Entire Cyc KB |
| 52:53 | - Weather - Questions |
| 54:47 | Entire Cyc KB |
| 56:03 | Cyc Content in RDFS and OWL |
| 58:35 | OpenCyc: left- handed person |
| 58:49 | OpenCyc: left- handed person - Source code |
| 59:07 | OpenCyc: left- handed person |
| 59:34 | - Left handed person - source code - Demonstration |
| 62:09 | OpenCyc Individual: Bill Clinton |
| 62:21 | OpenCyc Individual: Bill Clinton - Source code |
| 63:29 | OpenCyc Individual: Bill Clinton |
| 64:51 | - OpenCyc Demonstrations |
| 82:54 | Adding a term to OpenCyc |
| 83:04 | What's this Karlsruhe thing? |
| 83:25 | Existing Vocabulary |
| 83:30 | Create Constant |
| 83:37 | Constant Create operation completed |
| 84:05 | Find something similar |
| 84:22 | Copy one assertion |
| 84:46 | Karlsruhe created |
| 87:02 | Relationship with Others |
| 87:36 | Cyc cannot live by itself |
| 88:26 | Some initiatives to link data |
| 89:01 | Linking Open Data project |
Lecture rating
| People found this lecture: | ||
| Worth seeing | ||
| because it is: | ||
| Valuable and informative | ||
| Well presented | ||
| Easily understandable | ||
| Acceptably recorded | ||
| You need to login to cast your vote. | ||
Report a problem or upload files
If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Related content
SEE ALSO:
Link this page
Would you like to put a link to this lecture on your homepage?Go ahead! Copy the HTML snippet !





This recording is horrific and the constant cut-offs make it very hard to follow what the presenters are saying.
this recording is terribly bad. nevertheless, thank you to the presenter and hopefully you have another recording for this presentation