OntoJIT: Exploiting CLR Compiler Support for Performing Entailment Reasoning Over Executable Ontologies

International Journal of Knowledge Engineering

doi 10.18178/ijke.2018.4.1.093

Full Text

Abstract

Available in

Date

Authors

Publisher

EJournal Publishing

Related search

Using AberOWL for Fast and Scalable Reasoning Over BioPortal Ontologies

Journal of Biomedical Semantics
Computer NetworksComputer Science ApplicationsHealth InformaticsInformation SystemsCommunications
2016English

Exploiting Image Generality for Lexical Entailment Detection

2015English

Exploiting Web Ontologies for Automated Critical Infrastructure Data Retrieval

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2017French

ROSE: Compiler Support for Object-Oriented Frameworks

1999English

A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies

2006English

Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules

Journal of Applied Logic
Applied MathematicsLogic
2009English

A Method of Contrastive Reasoning With Inconsistent Ontologies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Relations Such as Hypernymy: Identifying and Exploiting Hearst Patterns in Distributional Vectors for Lexical Entailment

2016English

Logic-Based Reasoning Support for SBVR

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy