On BNET: 5 classic computer pranks
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

The OWL Web Ontology Language is endowed with two model theories, reflecting its origins as a compromise between two different communities. By design these model theories give rise to very similar semantics, and a precise statement of the correspondence between the model theories is conjectured with a sketch proof at the end of the OWL semantics specification document. The authors have filled in the details of this sketch proof using the Isabelle/HOL proof assistant, and developed machinery for further study of the formal semantics of OWL. The study was sufficiently detailed to find a handful of minor errors in the specification of the semantics of OWL that previous work had overlooked.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:273 KB
Date:Sep 2007
Pages:22

People who downloaded this item also downloaded

White Paper A Platform for the Development of Semantic Web Portals
White Paper Software Engineering Ontology: A Development Methodology
White Paper A Tool for Collaborative Ontology Development for the Semantic Web
White Paper Towards Semantic Web Engineering: WEESA - Mapping XML Schema to Ontologies
White Paper A Possible Simplification of the Semantic Web Architecture

Top results from Web Services

White Paper IBM WebSphere Portal for z/OS taps into System z, Web 2.0: Executive update
White Paper Create new value from System z assets, reduce costs with Web technology
Webcast On Demand Webcast: A Smarter way to Successful SOA - Information as a trusted strategic asset
White Paper Microsoft Dynamics: Enabling Real-World SOA to connect your business vision with software
Webcast Learn how Performance Metrics for Telcomm Expense Management Drive new ROIs and SLAs

» View all Web Services listings

advertisement

White Papers, Webcasts, and Resources

Featured Training Courses

SmartPlanet

  • Thought-provoking progressive ideas on diverse topics that intersect with technology, business, and life, and matter to the world at large. Visit SmartPlanet
  • More from IBM
  • Innovate your business' process model, play against the market, compete against others on our scoreboards and WIN! Try INNOV8 2.0: A BPM Simulator
  • Enabling Real-World Business Transformation through IBM Service Management Read the EMA Analyst Report
Click Here

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).