Pages that link to "Item:Q5717442"
From MaRDI portal
The following pages link to Mechanizing Mathematical Reasoning (Q5717442):
Displayed 20 items.
- Generalized fuzzy rough description logics (Q454980) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- On the failure of the finite model property in some fuzzy description logics (Q549343) (← links)
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) (Q632777) (← links)
- Semantic forgetting in expressive description logics (Q831928) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Fuzzy description logics under Gödel semantics (Q962867) (← links)
- Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
- On the scalability of description logic instance retrieval (Q1040773) (← links)
- Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
- Web ontology representation and reasoning via fragments of set theory (Q2360184) (← links)
- Reasoning with concept diagrams about antipatterns in ontologies (Q2364685) (← links)
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236) (← links)
- Ontology Integration Using ε-Connections (Q3631364) (← links)
- Composing Modular Ontologies with Distributed Description Logics (Q3631365) (← links)
- Description Logics (Q3638996) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)
- Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
- Petri Nets over Ontological Graphs: Conception and Application for Modelling Tasks of Robots (Q5082217) (← links)
- (Q5131259) (← links)