Skip to main content

Table 1 Reasoning tools supporting reasoning on statements

From: Strategy maintenance in smart healthcare systems

 

Representation

Verification

 

each statement

all strategy

graphic

 

OntoStudio

X

 

X

X

LPA Visirule

X

 

X

 

Axiomé

X

X

X

 

SWRL Tab

X

X

 

X

TRANSLATOR

X

   

CLIPS

  

X

 

Drools

X

X

  
Back to article page

BMC Medical Informatics and Decision Making

ISSN: 1472-6947

Contact us