Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. Baset
OntoJIT: Exploiting CLR Compiler Support for Performing Entailment Reasoning Over Executable Ontologies
International Journal of Knowledge Engineering
Related publications
Using AberOWL for Fast and Scalable Reasoning Over BioPortal Ontologies
Journal of Biomedical Semantics
Computer Networks
Computer Science Applications
Health Informatics
Information Systems
Communications
Exploiting Image Generality for Lexical Entailment Detection
Exploiting Web Ontologies for Automated Critical Infrastructure Data Retrieval
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
ROSE: Compiler Support for Object-Oriented Frameworks
A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies
Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules
Journal of Applied Logic
Applied Mathematics
Logic
A Method of Contrastive Reasoning With Inconsistent Ontologies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic-Based Reasoning Support for SBVR
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Compiler-Based Approach for Exploiting Scratch-Pad in Presence of Irregular Array Access
