The following pages link to Ian Horrocks (Q438565):
Displaying 16 items.
- The Complexity and Expressive Power of Limit Datalog (Q5066944) (← links)
- Logic Programming (Q5475763) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479264) (← links)
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases (Q5504588) (← links)
- (Q5717108) (← links)
- Mechanizing Mathematical Reasoning (Q5717442) (← links)
- Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes (Q5747751) (← links)
- Optimized Description Logic Reasoning via Core Blocking (Q5747784) (← links)
- f-SWRL: A Fuzzy Extension of SWRL (Q5757417) (← links)
- Foundations of Information and Knowledge Systems (Q5898545) (← links)
- OntoLAMA: LAnguage Model Analysis for Ontology Subsumption Inference (Q6718556) (← links)
- Datasets for Out-of-KB Mention Discovery with Entity Linking (Q6718562) (← links)
- Ontology Enrichment from Texts (OET): A Biomedical Dataset for Concept Discovery and Placement (Q6718563) (← links)
- Bio-ML: Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching (Q6718572) (← links)
- Datasets for the Hierarchy Transformer Encoders (HiTs) (Q6718576) (← links)
- Benchmarks and scripts for ACQuA and RSAComb (Q6718580) (← links)