Axiom

hydra.owl.syntax.Axiom
enum Axiom

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes

Members list

Type members

Enum entries

final case class annotationAxiom(value: AnnotationAxiom) extends Axiom
final case class assertion(value: Assertion) extends Axiom
final case class classAxiom(value: ClassAxiom) extends Axiom
final case class dataPropertyAxiom(value: DataPropertyAxiom) extends Axiom
final case class datatypeDefinition(value: DatatypeDefinition) extends Axiom
final case class declaration(value: Declaration) extends Axiom
final case class hasKey(value: HasKey) extends Axiom
final case class objectPropertyAxiom(value: ObjectPropertyAxiom) extends Axiom