Skip to content

Latest commit

 

History

History
21 lines (15 loc) · 657 Bytes

LogicalDefinitions.md

File metadata and controls

21 lines (15 loc) · 657 Bytes
Raw
  1. summary Phenotype LogicalDefinitions

Introduction

"Logical Definitions" is the term we use for definitions expressed in a logic language such as OWL. For phenotype ontologies, logical definitions connect phenotypes to classes in multiple OBO library ontologies.

Details

Logical definitions are expressed using the Web Ontology Language (OWL). For historic reasons, some of these logical definitions are authored in OBO-Format, which is a restricted subset of OWL.

See [OWLAxiomatization] for more details

See 1 for older documentation