Welcome to the Tiny-ME Core documentation!

Tiny-ME - The Tiny Matchmaking Engine is a multiplatform, lightweight OWL reasoner and matchmaker for the Semantic Web of Everything, developed by SisInf Lab at the Polytechnic University of Bari.

These docs refer to the Core component of the system, which implements inference services in a platform-independent fashion. For further information and downloads, please refer to the Tiny-ME homepage.

API docs

• Data Model
  • Base types
    • Integers
    • Bitmasks
    • Strings
  • Collections
    • Vector
    • UHash
  • DL constructors
    • Entities
    • Cardinality restrictions
    • Value restrictions
    • Semantic descriptions
  • Reasoning task results
• Inference services
  • Knowledge base
    • ABox entries
  • Reasoner
  • Knowledge providers
  • Iterators
    • TBox iterator
    • ABox iterator
    • KB concept iterator
    • KB individual iterator
    • Taxonomy iterator
• Utilities
  • Logger
  • Metadata