Semantic Processing of the Semantic Web
- 1 January 2003
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A constraint-based approach for specification and verification of real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Logic Databases on the Semantic Web: Challenges and OpportunitiesPublished by Springer Nature ,2002
- Sesame: A Generic Architecture for Storing and Querying RDF and RDF SchemaPublished by Springer Nature ,2002
- Semantics-Based Filtering: Logic Programming’s Killer AppPublished by Springer Nature ,2001
- Verification of a Controller for Bart: An Approach Based on Horn Logic and Denotational SemanticsPublished by Springer Nature ,2001
- Horn Logic Denotations and Their ApplicationsPublished by Springer Nature ,1999