net.sf.tweety.logics.commons.syntax

Class Concept

java.lang.Object

net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

net.sf.tweety.logics.commons.syntax.Predicate

net.sf.tweety.logics.commons.syntax.Concept

All Implemented Interfaces:

Comparable<TypedStructureAdapter>, TypedStructure

public class Concept
extends Predicate

This class models concepts used in description logics

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor and Description
Concept()
Concept(String name)
Concept(String name, int arity)
Concept(String name, Set<Individual> arguments)

Method Summary

Methods inherited from class net.sf.tweety.logics.commons.syntax.Predicate

clone, equals, hashCode

Methods inherited from class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter

addArgumentType, compareTo, copyArgumentTypes, getArgumentTypes, getArity, getName, isComplete, isTyped, removeArgumentType, removeArgumentType, setArity, setName, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Concept

public Concept()

Concept

public Concept(String name)

Concept

public Concept(String name,
               int arity)

Concept

public Concept(String name,
               Set<Individual> arguments)