Extended DIG Description Logic Interface for Prolog
The Extended DIG Description Logic Interface for Prolog (XDIG) is a logic programming infrastructure for the Semantic Web. XDIG supports both DIG clients and DIG servers. As a DIG client, the Prolog programs can call any external DL reasoner which supports the DIG DL interface. As a DIG server, the Prolog programs can serve as a DL reasoner, which can be used to support additional DL reasoning processing. See the SEKT Report D22.214.171.124 for details.
Here are several examples how XDIG can be used to define your own Prolog DIG server:
The XDIG package contains an OWL2DIG library which is used to translate OWL data into DIG data.
What are new in the improved version of the OWL2DIG library:
Contact Zhisheng Huang if you have any comment or suggestion.