The following pages link to (Q4533343):
Displaying 8 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- (Q2766950) (← links)
- Distributive Lattice-Structured Ontologies (Q2888493) (← links)
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited (Q3498475) (← links)
- Ontology Integration Using ε-Connections (Q3631364) (← links)