Pages that link to "Item:Q1128772"
From MaRDI portal
The following pages link to An epistemic operator for description logics (Q1128772):
Displaying 23 items.
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
- 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)
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← 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)
- A PSpace algorithm for acyclic epistemic DL \(\mathcal{ALCS}5_m\) (Q2323444) (← links)
- Integrity constraints in OWL ontologies based on grounded circumscription (Q2418659) (← 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)
- (Q4867025) (← links)
- Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
- On intuitionistic query answering in description bases (Q5210783) (← links)
- Embedding ontologies in the description logic \(\mathcal{ALC}\) by axis-aligned cones (Q6535400) (← links)