claimclarity / cb-reasoner Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ykazakov/cb-reasoner
Automatically exported from code.google.com/p/cb-reasoner
License: Other
This project forked from ykazakov/cb-reasoner
Automatically exported from code.google.com/p/cb-reasoner
License: Other
OVERVIEW: CB is an experimental reasoner for ontologies based on a new kind of "consequence-based" reasoning procedure. Currently CB supports a fragment of OWL-2 which corresponds to the DL Horn-SHIF. The theory behind CB is described in the paper: [1] Y. Kazakov. Consequence-Driven Reasoning for Horn SHIQ Ontologies. In IJCAI, pages 2040-2045, July 11-17 2009. CONTENTS: INSTALL instructions for installation LICENSE license and copyright notice Makefile main Makefile README this file bin reasoner executables examples usage examples src program source files COPYRIGHT: All files in [src] are Copyright (c) 2009, 2010 Yevgeny Kazakov <[email protected]> and Oxford University INSTALLATION: See the file INSTALL for installation instructions. USAGE: The binaries are located in the directory [/bin]. For the usage options type from this directory: ./cb --help [on Linux & Mac] cb --help [on Windows] For usage examples see the directory [/examples] REQUIREMENTS: Currently CB can only read ontologies in OWL-2 functional-style syntax and supports a subsets of the constructors corresponding to Horn-SHIF. The reasoner will ignore any constructor or axiom type that it doesn't support and issue a warning. Classes starting with unsupported constructors will be treated as anonymous classes, which should not result in any unsound inferences. An SHIF ontology is Horn if: * It does not contain "ObjectUnionOf" positively, e.g., within a class expressions C in the following axioms and their synonyms: EquivalentClasses(C D) EquivalentClasses(D C) SubClassOf(D C) * It does not contain "ObjectComplementOf" and "ObjectAllValuesFrom" negatively, e.g., within a class expressions C in the following axioms and their synonyms: EquivalentClasses(C D) EquivalentClasses(D C) SubClassOf(C D) The reasoner will issue a warning if the ontology is not Horn. Please print ontology information to find out the reasons why ontology is not Horn: ./cb -i ontology.owl [Linux & Mac] cb -i ontology.owl [Windows] For the description of OWL-2 functional-style syntax, see: http://www.w3.org/TR/owl2-syntax/ OWL ontologies in other formats can be converted into OWL-2 functional syntax using Protege version 4.1 or higher. http://protege.stanford.edu/ To convert a file [ontology.owl], open it in Protege and save using the menu: File > Save as... > OWL Functional Syntax.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.