The following pages link to Yevgeny Kazakov (Q438564):
Displayed 15 items.
- Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes (Q438566) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\) (Q928674) (← links)
- Incremental classification of description logics ontologies (Q972428) (← links)
- Enumerating justifications using resolution (Q1799123) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited (Q3498475) (← links)
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$ (Q3613440) (← links)
- Extracting Modules from Ontologies: A Logic-Based Approach (Q3631357) (← links)
- Scalable Reasoning by Abstraction Beyond DL-Lite (Q5268436) (← links)
- Automated Reasoning (Q5307053) (← links)
- Logics in Artificial Intelligence (Q5394138) (← links)
- Role Conjunctions in Expressive Description Logics (Q5505569) (← links)
- Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes (Q5747751) (← links)
- An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$ (Q5747785) (← links)