Pages that link to "Item:Q1128772"
From MaRDI portal
The following pages link to An epistemic operator for description logics (Q1128772):
Displayed 14 items.
- Conceptual logic programs (Q854977) (← links)
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN (Q983197) (← links)
- General default logic (Q987485) (← links)
- Flexible software architectures for ontology-based information systems (Q1006736) (← links)
- A refined architecture for terminological systems: Terminology = Schema + Views (Q1128645) (← links)
- An epistemic operator for description logics (Q1128772) (← links)
- Prototypes in a hybrid language with primitive descriptions (Q1202670) (← links)
- Understanding dynamic scenes (Q1589466) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- ``Reducing'' classic to practice: Knowledge representation theory meets reality (Q1978452) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family (Q2462646) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- Realizing Default Logic over Description Logic Knowledge Bases (Q3638182) (← links)