The following pages link to (Q4264772):
Displaying 18 items.
- Type-2 fuzzy description logic (Q352063) (← links)
- A description logic approach for representing and reasoning on fuzzy object-oriented database models (Q423140) (← links)
- Reasoning on temporal class diagrams: Undecidability results (Q862829) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- A refined architecture for terminological systems: Terminology = Schema + Views (Q1128645) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- Evolving objects in temporal information systems (Q2385447) (← links)
- Reasoning within intuitionistic fuzzy rough description logics (Q2390356) (← links)
- Construction of fuzzy OWL ontologies from fuzzy EER models: a semantics-preserving approach (Q2445979) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Formalizing fuzzy object-oriented database models using fuzzy ontologies (Q2988477) (← links)
- Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic (Q3016275) (← links)
- On Importing Knowledge from Ontologies. (Q3631355) (← links)
- Foundations of Temporal Conceptual Data Models (Q3637331) (← links)
- Ontologies and Databases: The DL-Lite Approach (Q3639004) (← links)
