| Package | Description |
|---|---|
| net.sf.tweety.logics.commons.syntax |
| Modifier and Type | Class and Description |
|---|---|
class |
Concept
This class models concepts used in description logics
|
class |
Functor
A functor for logic language, i.e.
|
class |
Predicate
A general predicate which contains an identifier that describes its meaning,
an argument count referred as arity and a list of sorts defining the types for
the arguments of the predicate.
|
class |
Role
This class implements a role used in description logics
Every role is an predicate consisting of two individuals
|
| Modifier and Type | Method and Description |
|---|---|
int |
TypedStructureAdapter.compareTo(TypedStructureAdapter o) |
Copyright © 2018. All rights reserved.