Composing Modular Ontologies with Distributed Description Logics
type: Item
instance of: scholarly article
title: Composing Modular Ontologies with Distributed Description Logics
zbMATH Open document ID: 1242.68318
DOI: 10.1007/978-3-642-01907-4_15
author: Luciano Serafini
author: Andrei Tamilin
published in: Lecture Notes in Computer Science
publication date: 2009-06-09T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5562948
describes a project that uses: Pellet
describes a project that uses: Racer
describes a project that uses: DRAGO
describes a project that uses: FaCT++
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-642-01907-4 15
OpenAlex ID: W1492027561
cites work: Q4406531
cites work: Mechanizing Mathematical Reasoning
cites work: Journal on Data Semantics I
cites work: Local Models Semantics, or contextual reasoning = locality + compatibility
cites work: Distributed first order logics
cites work: Q4539653
cites work: Automated Reasoning with Analytic Tableaux and Related Methods
cites work: A tableau decision procedure for \(\mathcal{SHOIQ}\)
cites work: Practical reasoning for very expressive description logics
cites work: Q2723446
description: scientific article