Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
fosf documentation
fosf documentation

Contents:

  • Examples
    • Fuzzy OSF Logic with fosf
    • Similarity-based OSF Logic with fosf
    • IJCAR'26 Examples
    • ISWC'26 Examples
  • API Reference
    • Syntax
    • Reasoning
    • Parsers
    • Utils
  • EBNF grammars for parsing OSF structures
  • Publications
  • Source Code
Back to top
View this page

ExamplesΒΆ

The following notebooks provide some examples of the main features of the fosf library.

  • Fuzzy order-sorted feature (OSF) logic

  • Similarity-based OSF logic

  • IJCAR 2026 Short Paper Examples

  • ISWC 2026 Demo Submission Examples

Next
Fuzzy order-sorted feature (OSF) logic
Previous
Home
Copyright © 2026, Gian Carlo Milanese
Made with Sphinx and @pradyunsg's Furo