<--- Back to Details
First PageDocument Content
Artificial intelligence / Science / Knowledge representation / Knowledge engineering / Information science / Web Ontology Language / Process ontology / Semantic reasoner / Semantic Web Rule Language / Semantic Web / Ontology / Information
Date: 2013-02-22 04:03:21
Artificial intelligence
Science
Knowledge representation
Knowledge engineering
Information science
Web Ontology Language
Process ontology
Semantic reasoner
Semantic Web Rule Language
Semantic Web
Ontology
Information

Add to Reading List

Source URL: speroni.web.cs.unibo.it

Download Document from Source Website

File Size: 337,23 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