skip to content
A Model Theoretic Semantics for Ontology Versioning. Preview this item
ClosePreview this item
Checking...

A Model Theoretic Semantics for Ontology Versioning.

Author: Jeff Heflin; Zhengxiang Pan; LEHIGH UNIV BETHLEHEM PA Dept. of COMPUTER SCIENCE AND ELECTRICAL ENGINEERING.
Publisher: Ft. Belvoir Defense Technical Information Center JAN 2004.
Edition/Format:   eBook : English
Database:WorldCat
Summary:
We show that the SemanticWeb needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that takes into account ontology extension and ontology versioning. Since the Web is the product of a diverse community, as opposed to a single agent, this semantics accommodates different viewpoints by having different entailment relations for different  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Internet Resource
All Authors / Contributors: Jeff Heflin; Zhengxiang Pan; LEHIGH UNIV BETHLEHEM PA Dept. of COMPUTER SCIENCE AND ELECTRICAL ENGINEERING.
OCLC Number: 227894583
Notes: The original document contains color images.
Description: 16 pages

Abstract:

We show that the SemanticWeb needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that takes into account ontology extension and ontology versioning. Since the Web is the product of a diverse community, as opposed to a single agent, this semantics accommodates different viewpoints by having different entailment relations for different ontology perspectives. We discuss how this theory can be practically applied to RDF and OWL and provide a theorem that shows how to compute perspective-based entailment using existing logical reasoners. We illustrate these concepts using examples and conclude with a discussion of future work.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/227894583> # A Model Theoretic Semantics for Ontology Versioning.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "227894583" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/137539570#Place/ft_belvoir> ; # Ft. Belvoir
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/computer_systems> ; # Computer Systems
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/models> ; # Models
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/documents> ; # Documents
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/statistical_inference> ; # Statistical inference
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/markup_languages> ; # Markup languages
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/theory> ; # Theory
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Thing/software_versions> ; # SOFTWARE VERSIONS
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Thing/intelligent_searches> ; # INTELLIGENT SEARCHES
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/logic> ; # Logic
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/ontology> ; # Ontology
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/computer_programming_and_software> ; # Computer Programming and Software
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/data_links> ; # Data links
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/algorithms> ; # Algorithms
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/semantics> ; # Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/knowledge_based_systems> ; # Knowledge based systems
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Topic/computer_programs> ; # Computer programs
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Thing/embedded_systems> ; # EMBEDDED SYSTEMS
   schema:about <http://experiment.worldcat.org/entity/work/data/137539570#Thing/semantic_web> ; # SEMANTIC WEB
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/137539570#Person/pan_zhengxiang> ; # Zhengxiang Pan
   schema:contributor <http://experiment.worldcat.org/entity/work/data/137539570#Person/heflin_jeff> ; # Jeff Heflin
   schema:contributor <http://experiment.worldcat.org/entity/work/data/137539570#Organization/lehigh_univ_bethlehem_pa_dept_of_computer_science_and_electrical_engineering> ; # LEHIGH UNIV BETHLEHEM PA Dept. of COMPUTER SCIENCE AND ELECTRICAL ENGINEERING.
   schema:datePublished "JAN 2004" ;
   schema:datePublished "2004" ;
   schema:description "We show that the SemanticWeb needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that takes into account ontology extension and ontology versioning. Since the Web is the product of a diverse community, as opposed to a single agent, this semantics accommodates different viewpoints by having different entailment relations for different ontology perspectives. We discuss how this theory can be practically applied to RDF and OWL and provide a theorem that shows how to compute perspective-based entailment using existing logical reasoners. We illustrate these concepts using examples and conclude with a discussion of future work."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/137539570> ;
   schema:inLanguage "en" ;
   schema:name "A Model Theoretic Semantics for Ontology Versioning."@en ;
   schema:productID "227894583" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/227894583#PublicationEvent/ft_belvoirdefense_technical_information_centerjan_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/137539570#Agent/defense_technical_information_center> ; # Defense Technical Information Center
   schema:url <http://handle.dtic.mil/100.2/ADA451850> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/227894583> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/137539570#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
   schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/137539570#Organization/lehigh_univ_bethlehem_pa_dept_of_computer_science_and_electrical_engineering> # LEHIGH UNIV BETHLEHEM PA Dept. of COMPUTER SCIENCE AND ELECTRICAL ENGINEERING.
    a schema:Organization ;
   schema:name "LEHIGH UNIV BETHLEHEM PA Dept. of COMPUTER SCIENCE AND ELECTRICAL ENGINEERING." ;
    .

<http://experiment.worldcat.org/entity/work/data/137539570#Person/heflin_jeff> # Jeff Heflin
    a schema:Person ;
   schema:familyName "Heflin" ;
   schema:givenName "Jeff" ;
   schema:name "Jeff Heflin" ;
    .

<http://experiment.worldcat.org/entity/work/data/137539570#Person/pan_zhengxiang> # Zhengxiang Pan
    a schema:Person ;
   schema:familyName "Pan" ;
   schema:givenName "Zhengxiang" ;
   schema:name "Zhengxiang Pan" ;
    .

<http://experiment.worldcat.org/entity/work/data/137539570#Thing/embedded_systems> # EMBEDDED SYSTEMS
    a schema:Thing ;
   schema:name "EMBEDDED SYSTEMS" ;
    .

<http://experiment.worldcat.org/entity/work/data/137539570#Thing/intelligent_searches> # INTELLIGENT SEARCHES
    a schema:Thing ;
   schema:name "INTELLIGENT SEARCHES" ;
    .

<http://experiment.worldcat.org/entity/work/data/137539570#Thing/software_versions> # SOFTWARE VERSIONS
    a schema:Thing ;
   schema:name "SOFTWARE VERSIONS" ;
    .

<http://experiment.worldcat.org/entity/work/data/137539570#Topic/computer_programming_and_software> # Computer Programming and Software
    a schema:Intangible ;
   schema:name "Computer Programming and Software"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137539570#Topic/knowledge_based_systems> # Knowledge based systems
    a schema:Intangible ;
   schema:name "Knowledge based systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137539570#Topic/statistical_inference> # Statistical inference
    a schema:Intangible ;
   schema:name "Statistical inference"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.