Uli Sattler
From OWL Test Cases
Jump to:
navigation
,
search
Uli Sattler
Contributed test cases (2)
Contributed import ontologies (0)
TODOs (1)
Consistent-but-all-unsat
RoleChainViolationLumen
RoleChainViolationLumen
(RL status, semantics, alternative semantics test)
Category
:
Person
Personal tools
Log in / create account
Namespaces
Page
Discussion
Variants
Views
Read
Edit
View history
Actions
Search
Navigation
Test cases
About tests in OWL 2
OWL Working Group
Help
OWL 2 Informative
Overview
Primer
New Features
Quick Reference Guide
OWL 2 Normative
Structure & Syntax
RDF Mapping
Direct Semantics
RDF-based Semantics
Conformance
Profiles
XML Serialization
Manchester Syntax
Toolbox
What links here
Related changes
Special pages
Printable version
Permanent link
Browse properties