Class DlExample

java.lang.Object
org.tweetyproject.logics.dl.examples.DlExample
public class DlExample extends Object
Examples for using the description logic syntax classes and parser.
Author:
Anna Gessler

  • Constructor Summary

    Constructors
    Constructor
    Description
    DlExample()
    Default

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    main(String[] args)
    Main method demonstrating the creation of a description logic knowledge base, parsing a knowledge base from a file, and using a naive DL reasoner.

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Constructor Details

    • DlExample

      public DlExample()
      Default

  • Method Details

    • main

      public static void main(String[] args) throws ParserException, IOException
      Main method demonstrating the creation of a description logic knowledge base, parsing a knowledge base from a file, and using a naive DL reasoner.
      Parameters:
      args - command-line arguments (not used in this example)
      Throws:
      ParserException - if there is an error during parsing
      IOException - if there is an I/O error during file access