1
by Baader, Franz
Published 2017
Cambridge University Press
Subjects: ...Description logics...

2
by Sikos, Leslie F.
Published 2017
Springer International Publishing
Table of Contents: ... -- Description Logics: Formal Foundation for Web Ontology -- Multimedia Ontology Engineering -- Ontology-Based...

3
by Rademaker, Alexandre
Published 2012
Springer London
...Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain...

4
by Küsters, Ralf
Published 2001
Springer-Verlag Berlin Heidelberg

5
by Li, Wei, Sui, Yuefei
Published 2024
Springer Nature Singapore
Table of Contents: ...Introduction -- Decidable DLs 30 -- R-calculus for binary-valued description logic -- R-calculi...

6
Published 2019
Springer International Publishing
Table of Contents: ... Family of Regular-Like Plan Description Logics -- Reasoning with Justifiable Exceptions in EL_\bot...

7
by Küsters, Ralf
Published 2001
Springer Berlin Heidelberg
Table of Contents: ...Description Logics -- Non-Standard Inferences -- Characterizing Subsumption -- LCS and MSC...

8
by Rudolph, Sebastian
Published 2007
KIT Scientific Publishing
... questions. This is achieved by combining Description Logics (DL) and Formal Concept Analysis (FCA): DL...

9
by Diaconescu, Răzvan
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...description logic...

10
by Lambrix, Patrick
Published 2000
Springer Berlin Heidelberg
Table of Contents: ...Background -- Description Logics -- Composite Objects -- Part-of in Description Logics -- Theory...

11
by Ma, Zongmin, Zhang, Fu, Yan, Li, Cheng, Jingwei
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... -- Fuzzy Data Models and Formal Descriptions -- Fuzzy Description Logics and Fuzzy Ontologies -- Fuzzy...

12
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Rough Description Logics via Contextual Indiscernibility Relations.- Efficient Trust-Based...

13
Published 2021
Springer International Publishing
Table of Contents: ... constraint systems -- Description Logics Restricted Unification in the Description Logic FL0 -- Combining...

14
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... for the Semantic Web -- Discovery and Uncertainty in Semantic Web Services -- An Approach to Description Logic...

15
by Li, Wei, Sui, Yuefei
Published 2022
Springer Nature Singapore
Table of Contents: ... -- R-Calculi for Post Three-valued logic -- Post Three-valued description logic -- R-calculi for Post...

16
by Li, Wei, Sui, Yuefei
Published 2021
Springer Nature Singapore
Table of Contents: ...Introduction -- Preliminaries -- R-calculi for Propositional Logic -- R-calculi for Description...

17
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Logics, Logic Programs and Description Logic Programs -- Attempto Controlled English for Knowledge...

18
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... to the Description Logics of the Family -- How to Restore Compactness into Probabilistic Logics? -- Combining Modes...

19
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Invited Talks -- Inconsistency Management for Description Logic Programs and Beyond -- Reasoning...

20
Published 2017
Springer International Publishing
Table of Contents: ... and Conservative Extensions of Description Logic Ontologies: A Survey -- Navigational and Rule-Based Languages...