Packages

p

org.aksw.owlpod.tasks

inferences

package inferences

Created by Markus Ackermann. No rights reserved.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. inferences
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait FilteredInf extends AnyRef
  2. type FilteredInferences = Set[OWLAxiom] with Tag[FilteredInf]
  3. type ImportChain = List[OWLOntology]
  4. type ImportGraph = Graph[OWLOntology, DiEdge]
  5. case class ImportStructure(graph: ImportGraph, chains: Map[OWLOntology, ImportChain]) extends Product with Serializable
  6. trait Inferencers extends AutoCloseable
  7. trait InferencingContext extends AnyRef
  8. trait UnfilteredInf extends AnyRef
  9. type UnfilteredInferences = Set[OWLAxiom] with Tag[UnfilteredInf]

Value Members

  1. object ContextReasonerInferencer extends Inferencers with Logging
  2. object Inferencers extends Enumeration

    Created by Markus Ackermann.

    Created by Markus Ackermann. No rights reserved.

Inherited from AnyRef

Inherited from Any

Ungrouped