%0 Journal Article %1 Boley2001 %A Boley, Harold %D 2001 %J LNAI 2112 %K kiwi %P 18 %T Relationship between logic programming and RDF %X Mutual relationships between logic programming and RDF are examined. Basic RDF is formalized with ground binaryDatalog Horn facts. Containers are modeled using (‘active’) polyadic constructors. For meta-statements a modal-logic treatment is suggested. To reduce large fact sets, an “inferential RDF”, with special Horn rules, is introduced. A direct representation of non-binaryrelations is proposed. Reification is thus abandonned and RDF diagrams are generalized using hypergraphs. RDF types are considered as sort predicates. RDF Schema’s class/propertyhierarc hies are regarded as a second-order subsumes/ subsumes2 syntax or as simple Horn rules. Its domain/range constraints are extended to (polymorphic) signatures. All concepts are explained via knowledge-representation examples as usable byinformation agents.

@article{Boley2001, abstract = {Mutual relationships between logic programming and RDF are examined. Basic RDF is formalized with ground binaryDatalog Horn facts. Containers are modeled using (‘active’) polyadic constructors. For meta-statements a modal-logic treatment is suggested. To reduce large fact sets, an “inferential RDF”, with special Horn rules, is introduced. A direct representation of non-binaryrelations is proposed. Reification is thus abandonned and RDF diagrams are generalized using hypergraphs. RDF types are considered as sort predicates. RDF Schema’s class/propertyhierarc hies are regarded as a second-order subsumes/ subsumes2 syntax or as simple Horn rules. Its domain/range constraints are extended to (polymorphic) signatures. All concepts are explained via knowledge-representation examples as usable byinformation agents.}, added-at = {2008-11-14T13:33:38.000+0100}, author = {Boley, Harold}, biburl = {https://www.bibsonomy.org/bibtex/2f188f546c443afdd67bfe000f2645ee1/fraktalek}, citeulike-article-id = {3508741}, interhash = {ff49757d835e8e285baeaae278004016}, intrahash = {f188f546c443afdd67bfe000f2645ee1}, journal = {LNAI 2112}, keywords = {kiwi}, pages = 18, posted-at = {2008-11-13 14:13:53}, priority = {2}, timestamp = {2008-11-14T13:33:40.000+0100}, title = {Relationship between logic programming and RDF}, year = 2001 }