We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, features that are present in most DLs. The extended language, conceptual logic programming (CLP) proves to be a viable alternative for intuitively representing and reasoning nonmonotonically, in a decidable way, with possibly infini...

The planning domain language PDDL2.1, used in the 3rd International Planning Competition, has sparked off some controversy in the planning community as researchers consider its expressive power and the ease with which interesting domain models can be constructed in the language. In this paper we show that the expressive power of PDDL2.1 is much greater than is commonly believed. We demonstrate ...

Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. One possible solution to this problem is to extend OWL with some form of “rules” language. Several different integration frameworks have already been proposed, each having different features and limitat...

We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is based on linear logic, an expressive logical system where logical facts can be consumed. Because LM integrates both classical and linear logic, LM tends to be more expressive than other logic programming languages. LM programs are naturally c...

The expressiveness of a conceptual model depends on the set of language symbols used for representation. UML is one of the most commonly used languages for representing conceptual models. However, issues remain regarding expressiveness that the language OntoUML proposes to resolve. Therefore, we performed an experiment involving eight professionals and eighty students to evaluate the expressive...

This study aims to determine the effect of storytelling method and self-confidence on expressive language skills early childhood. The approach used is quantitative through an experimental with treatment by level 2x2 design. research was conducted children in group B Kindergarten Tanah Datar Regency. sampling technique simple random (simple sampling). number samples this 24 (12 class 12 control ...

We call language L 1 intensionally more expressive than L 2 if there are functions which can be computed faster in L 1 than in L 2. We study the intensional expressive-ness of several languages: the Berry-Curien programming language of sequential algorithms, CDS0, a de-terministic parallel extension to it, named CDSP, and various parallel extensions to the functional programming language PCF. T...

It is possible to view the relations between mathematics and natural language from different aspects. This relation between mathematics and language is not based on just one aspect. In this paper the authors address the role of the Subject facing reality through language. Perception is defined and a mathematical theory of the perceptual field proposed. The distinction between purely expressive ...

Late-talking and normally speaking toddlers with and without histories of middle ear involvement were followed for 2 years to assess speech and expressive language outcomes. Results revealed no differences in expressive language outcome that could be attributed to history of middle ear involvement in either group. There did seem to be differences in outcome on measures of articulation that were...