Package org.tweetyproject.logics.dl.examples

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