semantics

semantics

Axiomatic Semantics - How to calculate a weakest precondition of a program

axiomantic semantic..what are the weakest preconditon?

How do we detect semantic errors of software application?

What is a value called, that signals that nothing has happened?

Proving associativity of sequential composition in Isabelle

Call-by-need and call-by-name reduction relation semantics

Axiomatic Semantics - How to calculate a weakest precondition

Do you know any tool that do a Logical Form transformation of English sentences?

What is difference between statistical semantics and distributional semantics?

MonetDB is timestamp guaranteed to be unique

Does OWL punning treats class and individual with same name as SAME semantically?

Searching for semantic relatedness tool

Can different program implementations have the same program semantics?

visualise instance of concepts in protègè 4.3

How to use NaN semantics functionality in Apache spark 1.5? what kind data we need to insert in table?

How to describe the semantics of a language?

Systemtap libdwfl error on Linux

comparing two OWLs to determine similarity

DBPedia query to extract all attributes from all the smartphones present in dbpedia

Output binding in an ontology

OWL: what is the difference between non-negative integer and positive integer?

What is the meaning of "Equivalent To" in Protege?

Searching semantically tagged documents in MarkLogic

Loop semantics(literal)

Protege SWRL rules

Add my defined anntation to an individual in owl

Using 'should' in function names

Vocabulary term to model number of individuals of a class in RDF

Yago ontology for entity disambiguation

simulator for semantic project

How work the ordering of parameters in an owl-s perform?

Translation from plain English to a set of instruction

Understanding Operational semantics

Error installing Sql Server sink - Semantic logging

Examples of Semantic Version Names

I need insemantic check using flex/bison

Semantic Directory Names (Singular or Plural)

Semantic distance between two words

Create own properties to using Schema.org with RDFa Lite?

Semantic Similarity Result interpretation

Is Susy SEMANTIC?

Is there a library or framework which allows to measure semantic distance between phrases?

emacs does not recognize (require 'semantic-ia)

SPARQL Return records from second Query ONLY IF no records in recordset from execution of First Query

how to include rel="author" in your own website?

Word Semantic-Similarity (distance measures) webservices?

What is the relationship between Sesame & Alibaba?

SPARQL: How to get an insance of an ontology, if depth of the class hierarchy is unknown?

Query to display all classes and all predicates of DBpedia

Is there a way to represent temporal data in RDFs?

Retrieving freebase quad dump type names from id

How to query an RDF individual for its data properties?

I have ontology file which i have created using Protege.. Want to retrieve classes and properties

How should I traverse my ontology model?

how to determine the accuracy of a semantic search engine?

Semantics of execution occurrence in sequence diagrams

Query DBpedia for multiple keywords

Manipulating RDF in Jena

What does 'for' in `uri_for` mean?

CG Shader Semantics with OpenGL 3.x?

page:1 of 2 next page main page

Categories

react-big-calendar

victoriametrics

description-logic

spring-cloud-sleuth

azure-storage-queues

django-mongodb-engine

docker-for-windows

xcode-storyboard

computed-properties

google-sheets-macros

exc-bad-instruction

angular2-directives

design-principles

http-status-code-504

persistence.xml

uinavigationitem

powerpoint-2010

django-grappelli

version-control-migration

memory-footprint

Resources