<--- Back to Details
First PageDocument Content
Ontology / Non-classical logic / Philosophical logic / Model theory / Quantification / Description logic / Tbox / Abox / Knowledge representation and reasoning / Logic / Science / Mathematical logic
Date: 2011-09-08 09:53:48
Ontology
Non-classical logic
Philosophical logic
Model theory
Quantification
Description logic
Tbox
Abox
Knowledge representation and reasoning
Logic
Science
Mathematical logic

2 Basic Description Logics Franz Baader

Add to Reading List

Source URL: www.inf.unibz.it

Download Document from Source Website

File Size: 369,30 KB

Share Document on Facebook

Similar Documents

Computability theory / Theoretical computer science / Automated planning and scheduling / Artificial intelligence / Cognitive science / Mathematics / Partial-order planning / Planning Domain Definition Language / Intelligent agent / Computability / Algorithm / Philosophy of artificial intelligence

Overcoming Ontology Mismatches in Transactions with Self-Describing Service Agents Drew McDermott Yale University

DocID: 1xV4m - View Document

PDF Document

DocID: 1xQTu - View Document

PDF Document

DocID: 1xBPs - View Document

PDF Document

DocID: 1xzsE - View Document

PDF Document

DocID: 1xlL7 - View Document