About: Semantic Web Services Language

Property	Value
dbo:abstract	The Semantic Web Services Language (SWSL) is a general-purpose logical language for specifying Semantic Web Services Ontologies (SWSOs), as well as individual Web services. The Semantic Web Services Language (SWSL) describes the syntax elements of SWSL and its semantic and semantic foundations. It can be used with the underlying language and network structure of Semantic Web Services. Syntactically, first-order logic (including all connections used in first-order logic) is a subset of the Semantic Web Services Language (SWSL). The Semantic Web Services Language consists of two different basic languages: Declarative Logic Programs (SWSL Rule) and First Order Classical Logic (SWSL-FOL). Semantically, the two sub-language of SWSL are incompatible, but the two sub-language can cooperate. SWSL-Rules is a non-monotonic semantic and rule-based language. SWSL-FOL is a complete first word logic language. SWSL-FOL and SWSL-Rules follow the semantics of the Semantic Web Services Language (SWSL). (en)
dbo:influenced	dbr:Semantic_computing dbr:Semantic_Web_Services dbr:Semantic_Web
dbo:thumbnail	wiki-commons:Special:FilePath/Abraham_Bernstein(left).jpg?width=300
dbo:wikiPageExternalLink	https://www.w3.org/Submission/SWSF-SWSL/ http://www.w3.org/standards/semanticweb/
dbo:wikiPageID	60770706 (xsd:integer)
dbo:wikiPageLength	20399 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1103329292 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Programming_paradigm dbr:Negation_as_failure dbr:Semantic_computing dbr:Generic_programming dbr:Semantic_Web_Services dbc:XML-based_standards dbr:First-order_logic dbc:Semantic_Web dbr:Class-based_programming dbr:Object-oriented dbr:Reflection_(computer_programming) dbr:Imperative_programming dbr:Semantic_Web dbr:File:Abraham_Bernstein(left).jpg dbr:File:Michael_Gruninger,_University_of_Toronto,_August_2017.png
dbp:b	no (en)
dbp:commons	Category:Semantic Web (en)
dbp:d	y (en)
dbp:fileExt	.swsl (en)
dbp:influenced	dbr:Semantic_computing dbr:Semantic_Web_Services dbr:Semantic_Web
dbp:n	no (en)
dbp:name	Semantic Web Services Language (en)
dbp:paradigm	Multi-paradigm: generic, object-oriented , imperative, reflective (en)
dbp:q	no (en)
dbp:s	no (en)
dbp:title	Semantic Web Services Language (en)
dbp:v	no (en)
dbp:website	https://www.w3.org/Submission/SWSF-SWSL/
dbp:wikiPageUsesTemplate	dbt:Infobox_programming_language dbt:Orphan dbt:Reflist dbt:Sister_project_links dbt:Start_date_and_age dbt:Semantic_Web dbt:W3C_Standards
dbp:wikt	no (en)
dcterms:subject	dbc:XML-based_standards dbc:Semantic_Web
rdf:type	owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage
rdfs:comment	The Semantic Web Services Language (SWSL) is a general-purpose logical language for specifying Semantic Web Services Ontologies (SWSOs), as well as individual Web services. The Semantic Web Services Language (SWSL) describes the syntax elements of SWSL and its semantic and semantic foundations. It can be used with the underlying language and network structure of Semantic Web Services. Syntactically, first-order logic (including all connections used in first-order logic) is a subset of the Semantic Web Services Language (SWSL). (en)
rdfs:label	Semantic Web Services Language (en)
owl:sameAs	wikidata:Semantic Web Services Language https://global.dbpedia.org/id/Bzwpp
prov:wasDerivedFrom	wikipedia-en:Semantic_Web_Services_Language?oldid=1103329292&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Abraham_Bernstein(left).jpg wiki-commons:Special:FilePath/Michael_Gruninger,_University_of_Toronto,_August_2017.png
foaf:homepage	https://www.w3.org/Submission/SWSF-SWSL/
foaf:isPrimaryTopicOf	wikipedia-en:Semantic_Web_Services_Language
foaf:name	Semantic Web Services Language (SWSL) (en)
foaf:page	https://www.w3.org/Submission/SWSF-SWSL/
is foaf:primaryTopic of	wikipedia-en:Semantic_Web_Services_Language