Package: fact++ (1.6.5~dfsg-3)

[ Source: fact++  ]

Reasoner-beskrivelseslogik for det semantiske net

FaCT++ er en DL-reasoner. Den understøtter OWL DL samt den kommende standard OWL 1.1. FaCT++ er implementeret i C++ og bruger optimeret tableaux-algoritmer. Værktøjet er sandsynligvis bedst kendt for dets kompatibilitet med værktøjet Protege, som hjælper med formelt at repræsentere semantik.

Other Packages Related to fact++

• dep: libc6 (>= 2.4)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC støttebibliotek

• dep: libstdc++6 (>= 5.2)

  GNU Standard C++ bibliotek v3

Download fact++

Download for all available architectures

Architecture	Package Size	Installed Size	Files
s390x	306.0 kB	1,290.0 kB	[list of files]