<--- Back to Details
First PageDocument Content
Semantic Web / Computing / Artificial intelligence / Rule engines / Information science / Knowledge engineering / Knowledge representation / Reasoning / RuleML Symposium / RuleML / Semantic Web Rule Language / Semantic Web service
Date: 2014-09-21 10:38:49
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

Add to Reading List

Source URL: 2007.ruleml.org

Download Document from Source Website

File Size: 418,61 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