jar

net.sf.tweety.logics : dl

Maven & Gradle

Jul 14, 2020
1 usages

Tweety (DL)

Table Of Contents

Latest Version

Download net.sf.tweety.logics : dl JAR file - Latest Versions:

All Versions

Download net.sf.tweety.logics : dl JAR file - All Versions:

Version Vulnerabilities Size Updated
1.17
1.16
1.15
1.14
1.12
1.11
1.10
1.9
1.8
1.7
1.6
1.5
1.4
1.3
1.2

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 dl-1.17.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

net.sf.tweety.logics.dl.reasoner

├─ net.sf.tweety.logics.dl.reasoner.NaiveDlReasoner.class - [JAR]

net.sf.tweety.logics.dl.syntax

├─ net.sf.tweety.logics.dl.syntax.AssertionalAxiom.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.AssociativeDlFormula.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.AtomicConcept.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.AtomicRole.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.BottomConcept.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.Complement.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.ComplexConcept.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.ConceptAssertion.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.DlAxiom.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.DlBeliefSet.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.DlSignature.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.EquivalenceAxiom.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.ExistentialRestriction.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.Individual.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.Intersection.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.RoleAssertion.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.TopConcept.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.Union.class - [JAR]

├─ net.sf.tweety.logics.dl.syntax.UniversalRestriction.class - [JAR]

net.sf.tweety.logics.dl.semantics

├─ net.sf.tweety.logics.dl.semantics.DlInterpretation.class - [JAR]

net.sf.tweety.logics.dl.parser

├─ net.sf.tweety.logics.dl.parser.DlParser.class - [JAR]

net.sf.tweety.logics.dl.examples

├─ net.sf.tweety.logics.dl.examples.DlExample.class - [JAR]

Advertisement

Dependencies from Group

fol
Jul 14, 2020
10 usages
pl
Jul 14, 2020
8 usages
Jul 14, 2020
7 usages
pcl
Jul 14, 2020
4 usages
cl
Jul 14, 2020
4 usages

Discover Dependencies

cli
Jul 14, 2020
1 usages
Jul 14, 2020
1 usages
Jul 20, 2015
1 usages
1.4k stars
Apr 11, 2021
1 usages
21 stars
Mar 05, 2017
1 usages
Jun 06, 2017
1 usages
3.5k stars
Nov 30, 2015
3 usages
2.9k stars
Aug 25, 2023
3 usages
187 stars
Oct 01, 2016
7 usages
26 stars