Liliana Cojocaru

Learn More
– The paper presents an original survey on Web ontology editing tools, in respect with Semantic Web actual technologies. The material is focused on features that these tools might expose: granularity of expressivity, Web standards compliance, reasoning support, provided APIs and, not least, the interoperability issues. The comparative study is used a(More)
We prove that Szilard languages of context-free grammars can be accepted by an indexing alternating Turing machine (indexing ATM) in logarithmic time and space. The same result holds for leftmost Szilard languages of unrestricted (phrase-structure or type 0) grammars. Since the class of languages recognizable by an indexing ATM in logarithmic time equals(More)
<i>Watson-Crick Automata</i> are a counterpart of finite automata working on a <i>Watson-Crick tape</i> composed of double stran-ded sequences of symbols linked by a complementarity relation like DNA molecules. Consequently, these devices have as input double strands of strings of symbols arranged in a pairwise affinity similar to Watson-Crick(More)
We investigate computational resources used by alternating Turing machines (ATMs) to accept Szilard languages (SZLs) of context-free matrix grammars (MGs). The main goal is to relate these languages to parallel complexity classes such as NC1 and NC2. We prove that unrestricted and leftmost-1 SZLs of context-free MGs, without appearance checking, can be(More)