A Method of Contrastive Reasoning With Inconsistent Ontologies

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-29923-0_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Decentralized Reasoning on a Network of Aligned Ontologies With Link Keys

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Computing Repairs of Inconsistent DL-Programs Over EL Ontologies

Journal of Artificial Intelligence Research
Artificial Intelligence
2016English

A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies

2006English

Using AberOWL for Fast and Scalable Reasoning Over BioPortal Ontologies

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

Topics in Knowledge Bases: Epistemic Ontologies and Secrecy-Preserving Reasoning

English

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

International Journal of Knowledge Engineering
2018English

Reasoning About Programs Using a Scientific Method

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

An Enhanced Method for Web Ontologies Encryption

European Journal of Electrical Engineering and Computer Science
2019English

Contrastive and Integrated Teaching Application of Effective Interest Method

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy