lu-w/topllet lu-w/topllet

  • Stars
    star
    1
  • Language
    Java
  • License
    Other
  • Created 10 months ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lu-w/topllet
github

lu-w

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An engine for answering Metric Temporal Conjunctive Queries, based on Openllet

More Repositories

1

criticality-metrics

A knowledge base on criticality metrics for automated vehicles
15
star
2

auto

The Automotive Urban Traffic Ontology
11
star
3

criticality-recognition

Tooling for recognizing criticality phenomena in A.U.T.O. A-Boxes using owlready2
Python
5
star
4

pyauto

Python module for accessing the Automotive Urban Traffic Ontology based on owlready2
Python
4
star
5

criticality-analysis

Synthetic Data for the Paper "Criticality Analysis for the Verification & Validation of Automated Vehicles"
2
star
6

owlready2-augmentator

An augmentator for concepts and roles within A-Boxes of owlready2
Python
1
star
7

mltl2ltlf

A converter from Mission-Time LTL to LTL on finite traces
Python
1
star
8

omega2auto

Python module that converts the OMEGA format into A.U.T.O. ABoxes
Python
1
star
9

topllet-benchmarks

A simple benchmark for Topllet
Shell
1
star
10

tobm

The Traffic Ontology Benchmark
Python
1
star