<--- Back to Details
First PageDocument Content
Ontology / DARPA Agent Markup Language / Semantic Web Rule Language / Web Ontology Language / Semantic reasoner / RuleML / Description logic / Knowledge representation and reasoning / F-logic / Semantic Web / Information / Science
Date: 2010-08-09 10:02:48
Ontology
DARPA Agent Markup Language
Semantic Web Rule Language
Web Ontology Language
Semantic reasoner
RuleML
Description logic
Knowledge representation and reasoning
F-logic
Semantic Web
Information
Science

Proposal forWWW2009 Tutorial

Add to Reading List

Source URL: silk.semwebcentral.org

Download Document from Source Website

File Size: 41,38 KB

Share Document on Facebook

Similar Documents

Semantic Web / Ontology / Computing / Information science / Knowledge representation / Artificial intelligence / Knowledge engineering / Technical communication / Cyc / Semantic reasoner / RuleML / Web Ontology Language

Supporting Rule Generation and Validation on Environmental Data in EnStreaM Alexandra Moraru1,3, Klemen Kenda1, Blaž Fortuna1, Luka Bradeško1, Maja Škrjanc1, Dunja Mladenić1,3, Carolina Fortuna2 1

DocID: 1qG38 - View Document

Semantic Web / Knowledge representation / Logic / Cognitive science / Computing / Information science / Artificial intelligence / Knowledge engineering / Description logic / Web Ontology Language / Ontology / Semantic Web Rule Language

Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|riazanov|seanb|horrocks}@cs.man.ac.

DocID: 1qEd9 - View Document

Rule engines / Computing / Artificial intelligence / RuleML Symposium / Semantic Web / Data management / Unified Modeling Language / Data modeling / RuleML / Semantics of Business Vocabulary and Business Rules / Rule-based system / Rule Interchange Format

1st International RuleML Symposium

DocID: 1mxPF - View Document

Semantic Web / Computing / Artificial intelligence / Rule engines / Information science / Knowledge engineering / Knowledge representation / Reasoning / RuleML Symposium / RuleML / Semantic Web Rule Language / Semantic Web service

Microsoft Word - brochure.rtf

DocID: 1mkS8 - View Document

Ontology / Semantic Web / Logic programming / Non-classical logic / Model theory / Description logic / Web Ontology Language / Stable model semantics / Semantic Web Rule Language / Logic / Science / Mathematical logic

Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it

DocID: 1aDhg - View Document