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
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://www.dtic.mil/docs/citations/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/computer_programs> # Computer programs
    a schema:Intangible ;
    schema:name "Computer programs"@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.