Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,566 papers from all fields of science
Search
Sign In
Create Free Account
Sublanguage
A sublanguage is a subset of a language. Sublanguages occur in natural language, computer language, and relational databases.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
ALGOL 68
Baby modula-3
Compiler
Computer language
Expand
Broader (1)
Relational model
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Query Enhancement for Patent Prior-Art-Search Based on Keyterm Dependency Relations and Semantic Tags
Khanh Nguyen
,
Sung-Hyon Myaeng
Information Retrieval Facility Conference
2012
Corpus ID: 10294456
Prior art search is one of the most common forms of patent search, whose goal is to find patent documents that constitute prior…
Expand
2007
2007
A compositional proof system for dynamic object systems
Johan Dovland
,
E. Johnsen
,
Olaf Owe
2007
Corpus ID: 1812577
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are…
Expand
2005
2005
Learning web service ontologies: an automatic extraction method and its evaluation
M. Sabou
2005
Corpus ID: 9098103
Successful employment of semantic Web services depends on the availability of high quality ontologies to describe the domains of…
Expand
2005
2005
Building Applications and Tools for OWL - Experiences and Suggestions
Thorsten Liebig
,
M. Luther
,
Olaf Noppens
,
M. Paolucci
,
M. Wagner
OWL: Experiences and Directions
2005
Corpus ID: 17851584
The success of the Semantic Web will largely depend on whether W3C’s Web Ontology Language can reach broad acceptance and a…
Expand
2004
2004
A language measure for performance evaluation of discrete-event supervisory control systems
Xi Wang
,
A. Ray
2004
Corpus ID: 15665415
2003
2003
On the Logic of TLA+
Stephan Merz
Computers and artificial intelligence
2003
Corpus ID: 5854597
TLA + is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems…
Expand
2001
2001
TBoxes do not Yield a Compact Representation of Least Common Subsumers
F. Baader
,
Anni-Yasmin Turhan
Description Logics
2001
Corpus ID: 1151828
For Description Logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may…
Expand
1999
1999
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach
C. Choppy
,
G. Reggio
Workshop on Recent Trends in Algebraic…
1999
Corpus ID: 13426864
In [11] M. Jackson introduces the concept of problem frame to describe specific classes of problems, to help in the specification…
Expand
1995
1995
Full Abstraction and Recursion
M. Mislove
,
Frank J. Oles
Theoretical Computer Science
1995
Corpus ID: 205096045
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
E. Börger
,
Igor Durdanovic
,
D. Rosenzweig
Programming Concepts and Methods
1994
Corpus ID: 2952714
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required