The following pages link to (Q4400805):
Displaying 16 items.
- The correspondence between the concepts in description logics for contexts and formal concept analysis (Q439795) (← links)
- A tableau algorithm for description logics with concrete domains and general TBoxes (Q877890) (← links)
- Representing and reasoning on database conceptual schemas (Q1606546) (← links)
- Mapping of description logic to the relational data model (Q1699415) (← links)
- Evolving objects in temporal information systems (Q2385447) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- The complexity of finite model reasoning in description logics (Q2486582) (← links)
- A knowledge server for reasoning about temporal constraints between classes and instances of events (Q3159445) (← links)
- OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling (Q3224006) (← links)
- Foundations of Temporal Conceptual Data Models (Q3637331) (← links)
- (Q3826520) (← links)
- (Q4549382) (← links)
- Managing Change in Graph-Structured Data Using Description Logics (Q4608716) (← links)
- Databases and artificial intelligence (Q6602264) (← links)