website·Indexed 32 days ago
https://refinery.tools/Technical API documentation for Refinery, featuring the refinery-interpreter and refinery-store-reasoning-scope packages. Includes detailed specifications for matchers, aggregators, rewriters, and the PQuery pattern compilation system, including interfaces like IOperationCompiler and classes such as RelationEvaluation and InterpreterException.
The refinery-language-semantics module is organized into the following package hierarchies:
tools.refinery.language.semantics: Main semantics package.tools.refinery.language.semantics.internal: Internal implementation details.tools.refinery.language.semantics.internal.query: Internal query processing logic.tools.refinery.language.semantics.metadata: Metadata definitions and factories.tools.refinery.interpreter.matchers.psystem.queries package provides the core types for handling queries within the refinery interpreter's pattern system. It defines the structure of queries through interfaces like PQuery and PQueryHeader, and provides concrete implementations for query logic, parameters, and problem reporting.The tools.refinery.interpreter.rete.util package provides utility classes and configuration options for the Rete interpreter. Key components include:
LexicographicComparator<T>: A comparator implementing lexicographic ordering.Options: General configuration options for the interpreter.OrderingCompareAgent<T>: An agent used for managing comparison ordering.ReteHintOptions: Specific options for providing hints to the Rete engine.The refinery-language-semantics module is organized into the following package hierarchy:
tools.refinery.language.semantics: Core semantics functionality.tools.refinery.language.semantics.internal: Internal implementation details.tools.refinery.language.semantics.internal.annotations: Internal annotation handling.tools.refinery.language.semantics.internal.query: Query compilation and execution logic.tools.refinery.language.semantics.metadata: Metadata definitions and factories.tools.refinery.language.semantics.theory: Theory provider definitions.tools.refinery.language.semantics.theory.internal: Internal theory management.tools.refinery.interpreter.matchers.psystem.aggregations package provides the infrastructure for implementing aggregation operators used to compute aggregate values from multisets of data within the Refinery interpreter's pattern system.tools.refinery.logic.term.cardinalityinterval package provides classes for handling cardinality domains and intervals within the Refinery logic framework. Key classes in this package include CardinalityDomain, CardinalityInterval, and CardinalityIntervals.The tools.refinery.language.semantics.internal.query package provides internal query compilation capabilities. The primary classes in this package, all inheriting from java.lang.Object, include:
FunctionCompiler: Handles the compilation of functions within the query system.QueryCompiler: The main entry point or coordinator for compiling queries.RuleCompiler: Handles the compilation of rules within the query system.tools.refinery.interpreter.matchers.context.surrogate package contains tools for handling surrogate query registries within the refinery interpreter's context matchers. The primary class provided by this package is SurrogateQueryRegistry.tools.refinery.store.reasoning.translator.typehierarchy package contains the core logic for managing type hierarchies and type analysis. Key classes include TypeHierarchy for representing the hierarchy, TypeHierarchyBuilder and TypeHierarchyInitializer for constructing it, and TypeHierarchyTranslator for translating the hierarchy data. It also provides TypeInfo, InferredType, and TypeAnalysisResult for detailed type metadata and analysis outcomes.tools.refinery.language.semantics.metadata package provides a set of classes and interfaces for managing semantic metadata, including node and relation metadata, and the factories used to create them.tools.refinery.store.query.interpreter package contains the core interfaces required to implement and build query interpreters for the refinery store. Key interfaces include QueryInterpreterAdapter for adapting query interpretation logic, QueryInterpreterBuilder for constructing interpreters, and QueryInterpreterStoreAdapter for integrating the interpreter with a specific store implementation.tools.refinery.logic.literal package provides a set of classes and interfaces for representing literals in mathematical logic, where a literal is defined as an atomic formula or its negation. This package includes support for various literal types such as constants, calls, assignments, and equivalence, as well as utilities for managing their polarity and reduction.