institut für mess- und description logics for ... - mrt logics for vision-based urban intersection...

1

Upload: vokhanh

Post on 20-Mar-2018

218 views

Category:

Documents

4 download

Report

Download

Embed Size (px):

TRANSCRIPT

Page 1: Institut für Mess- und Description Logics for ... - MRT Logics for Vision-Based Urban Intersection Understanding ... The Description Logic Handbook ... = Image Understanding forroad

Reasoning in Description Logics

Basics of Reasoning in Description Logics

Description Logics Structural Description Logics

Description Logics Foundations of Propositional Logic

Reasoning with Expressive Description Logics

Description Logics in RTE

REASONING ALGEBRA ICALLY WITH DESCRIPTION LOGICS

LDK R Logics for Data and Knowledge Representation Description Logics

Representing Ontologies Using Description Logics ... · PDF fileRepresenting Ontologies Using Description Logics, Description Graphs, and Rules Boris Motik∗, Bernardo Cuenca Grau,

Basic Description Logics

Description Logics Propositional Description Logics

Description Logics for Integration

On Fuzzy Description Logics · From Description Logics to Fuzzy Description Logics DLs (ALC) FOL Interpretation as fuzzy sets Fuzzy DLs (ALC) Fuzzy FOL P. Hájek, Making fuzzy logic

Package-based Description Logics – Preliminary Results

LDK R Logics for Data and Knowledge Representation Description Logics as query language

Description Logics Logics and Ontologies

Description Logics - unibz

LDK R Logics for Data and Knowledge Representation Description Logics (ALC)

Description Logics

Foundations of Description Logics

Probabilistic Description Logics for Subjective Uncertainty · Probabilistic Description Logics for Subjective Uncertainty Carsten Lutz Deptartment of Computer Science University

OpenHPI 5.1 - Description Logics - ALC

Description Logics Dr. Alexandra I. Cristea. Description Logics Description Logics allow formal concept definitions that can be reasoned about to be expressed

Complexity of Horn Description Logics

Horrocks - Reasoning With Expressive Description Logics

LDK R Logics for Data and Knowledge Representation Description Logics: tableaux

Description Logics: ALC

Introduction to Description Logic(s) - unibo.it...A Description Language DL Extending DL Description Logics Description Logics and SW Introduction to Description Logic(s) Course Fondamenti

(07) Semantic Web Technologies - Description Logics

Mathematical Logics Description Logic: Introduction

Probabilistic Reasoning - Department of Computer Science ... · Probabilistic Description Logics Probabilistic Datalog+/– Probabilistic Ontological Data Exchange Description Logics:

Symbolic and structural models for image understanding · Symbolic and structural models for image understanding Part II: Ontologies and description logics Jamal Atif - Isabelle Bloch

Nonstandard Inferences in Description Logics

avvmspclms.comavvmspclms.com/.../file.php/1/MSC_CS_Arranged_syllabus.docx · Web viewAn Introduction to Description Logics-From networks to Description Logics-Knowledge representation

Description Logics - cs.ox.ac.uk