Sciweavers

3440 search results - page 98 / 688
» Logics For Context-Free Languages
Sort
View
SEMWIKI
2008
168views Data Mining» more  SEMWIKI 2008»
15 years 8 months ago
AceWiki: Collaborative Ontology Management in Controlled Natural Language
AceWiki is a prototype that shows how a semantic wiki using controlled natural language -- Attempto Controlled English (ACE) in our case -- can make ontology management easy for ev...
Tobias Kuhn
SEMWEB
2005
Springer
16 years 8 days ago
A Fuzzy Semantics for Semantic Web Languages
Although the model-theoretic semantics of the languages used in the Semantic Web are crisps, the need arise to extend them to represent fuzzy data, in the same way fuzzy logic exte...
Mauro Mazzieri, Aldo Franco Dragoni
RR
2010
Springer
15 years 5 months ago
Usability of a Visual Language for DL Concept Descriptions
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
Fernando Náufel do Amaral
IDC
2009
Springer
16 years 1 months ago
A Protocol for Execution of Distributed Logic Programs
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
László Aszalós, Andreas Herzi...
ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
16 years 25 days ago
Inference of Design Pattern Instances in UML models via Logic Programming
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
Dae-Kyoo Kim, Lunjin Lu