jar

pt.unl.fct.novalincs : nohr-reasoner

Maven & Gradle

Oct 01, 2015
2 usages
4 stars

nohr-reasoner

Table Of Contents

Latest Version

Download pt.unl.fct.novalincs : nohr-reasoner JAR file - Latest Versions:

All Versions

Download pt.unl.fct.novalincs : nohr-reasoner JAR file - All Versions:

Version Vulnerabilities Size Updated
2.0.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window nohr-reasoner-2.0.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

pt.unl.fct.di.novalincs.runtimeslogger

├─ pt.unl.fct.di.novalincs.runtimeslogger.RuntimesLogger.class - [JAR]

├─ pt.unl.fct.di.novalincs.runtimeslogger.RuntimesTable.class - [JAR]

pt.unl.fct.di.novalincs.nohr.model

├─ pt.unl.fct.di.novalincs.nohr.model.Answer.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.AnswerImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Atom.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.AtomImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Constant.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.DefaultFormatVisitor.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.FormatVisitor.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.HashSetProgram.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Literal.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.LiteralImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Model.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.ModelElement.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.NegativeLiteral.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.NegativeLiteralImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Predicate.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Program.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.ProgramChangeListener.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Query.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.QueryImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Rule.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.RuleImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Symbol.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Term.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.TruthValue.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.Variable.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.VariableImpl.class - [JAR]

pt.unl.fct.di.novalincs.nohr.model.vocabulary

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.ConceptPredicateImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.DefaultModelVisitor.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.DefaultVocabulary.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.HybridConstant.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.HybridConstantWrapper.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.HybridPredicate.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.HybridPredicateWrapper.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.IndividualConstantImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.LiteralConstantImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.MetaPredicate.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.MetaPredicateImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.ModelVisitor.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.NumericConstantImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.PredicateType.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.PredicateTypeVisitor.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.RolePredicateImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.RuleConstantImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.RulePredicateImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.UndefinedSymbolException.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.Vocabulary.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.model.vocabulary.VocabularyChangeListener.class - [JAR]

pt.unl.fct.di.novalincs.nohr.hybridkb

├─ pt.unl.fct.di.novalincs.nohr.hybridkb.HybridKB.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.hybridkb.NoHRHybridKB.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.hybridkb.OWLProfilesViolationsException.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.hybridkb.ProgramDoubling.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.hybridkb.QueryProcessor.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.hybridkb.UnsupportedAxiomsException.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.hybridkb.UnsupportedExpressionException.class - [JAR]

pt.unl.fct.di.novalincs.nohr.utils

├─ pt.unl.fct.di.novalincs.nohr.utils.BasicLazyGraphClosure.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.utils.GraphClosure.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.utils.HashMultiset.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.utils.Multiset.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.utils.StringUtils.class - [JAR]

pt.unl.fct.di.novalincs.nohr.deductivedb

├─ pt.unl.fct.di.novalincs.nohr.deductivedb.DatabaseProgram.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.deductivedb.DeductiveDatabase.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.deductivedb.Goals.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.deductivedb.PrologDeductiveDatabase.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.deductivedb.PrologEngineCreationException.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.deductivedb.TermModelConverter.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.deductivedb.XSBDeductiveDatabase.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.deductivedb.XSBFormatVisitor.class - [JAR]

pt.unl.fct.di.novalincs.nohr.translation.ql

├─ pt.unl.fct.di.novalincs.nohr.translation.ql.QLAxiomsTranslator.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.ql.QLDoubleAxiomsTranslator.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.ql.QLOntologyNormalization.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.ql.QLOntologyTranslator.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.ql.QLOriginalAxiomsTranslator.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.ql.StaticQLOntologyNormalization.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.ql.StaticTBoxDigraph.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.ql.TBoxDigraph.class - [JAR]

pt.unl.fct.di.novalincs.nohr.parsing

├─ pt.unl.fct.di.novalincs.nohr.parsing.NoHRParser.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.parsing.NoHRRecursiveDescentParser.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.parsing.NoHRScanner.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.parsing.ParseException.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.parsing.TokenType.class - [JAR]

pt.unl.fct.di.novalincs.nohr.translation

├─ pt.unl.fct.di.novalincs.nohr.translation.AssertionsTranslation.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.DLUtils.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.OntologyTranslator.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.OntologyTranslatorImpl.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.OntologyTranslatorImplementor.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.Profile.class - [JAR]

pt.unl.fct.di.novalincs.nohr.translation.el

├─ pt.unl.fct.di.novalincs.nohr.translation.el.ELAxiomsTranslator.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.el.ELDoubleAxiomsTranslator.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.el.ELOntologyReduction.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.el.ELOntologyTranslator.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.el.ELOriginalAxiomsTranslator.class - [JAR]

├─ pt.unl.fct.di.novalincs.nohr.translation.el.StaticELOntologyReduction.class - [JAR]

Advertisement