Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/rec/conf/dlog/CalvaneseGMM21
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/rec/conf/dlog/CalvaneseGMM21
https://dblp.org/rdf/schema#authoredBy https://dblp.org/pid/c/DiegoCalvanese + , https://dblp.org/pid/205/3445 + , https://dblp.org/pid/228/9390 + , https://dblp.org/pid/85/1455 +
https://dblp.org/rdf/schema#bibtexType http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage https://ceur-ws.org/Vol-2954/paper-9.pdf +
https://dblp.org/rdf/schema#listedOnTocPage https://dblp.org/db/conf/dlog/dlog2021 +
https://dblp.org/rdf/schema#numberOfCreators 4
https://dblp.org/rdf/schema#primaryDocumentPage https://ceur-ws.org/Vol-2954/paper-9.pdf +
https://dblp.org/rdf/schema#publishedAsPartOf https://dblp.org/rec/conf/dlog/2021 +
https://dblp.org/rdf/schema#publishedIn Description Logics
https://dblp.org/rdf/schema#publishedInBook Description Logics
https://dblp.org/rdf/schema#title SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results).
https://dblp.org/rdf/schema#yearOfEvent 2021
https://dblp.org/rdf/schema#yearOfPublication 2021
rdf:type https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label Diego Calvanese et al.: SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). (2021)
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Frec-2Fconf-2Fdlog-2FCalvaneseGMM21"