Stack Overflow
Stack Overflow

Questions tagged [manchester-syntax]

Use in questions related with Manchester syntax or topics that use this syntax, such as a DL query.

The Manchester syntax is a user-friendly compact syntax for OWL 2 ontologies; it is frame-based, as opposed to the axiom-based other syntaxes for OWL 2. The Manchester Syntax is used in the OWL 2 Primer, and this document provides the language used there. It is expected that tools will extend the Manchester Syntax for their own purposes, and tool builders may collaboratively extend the common language. Read more in OWL 2 Web Ontology Language Manchester Syntax (Second Edition).

28 questions
7
votes
1 answer

How to query individuals in DL Manchester OWL Syntax?

I know this sounds like a very stupid question, but I've been trying to figure this out and I can't find anything on this, though it seems obvious that this should be doable. I'm developing something that queries an OWL file through its API using…
Rida Khan
  • 71
  • 3
7
votes
1 answer

Protege-OWL: Class must have one of each

I'm new to protege and i have to model a grid with similar properties to soduku, in Manchester OWL syntax. I have been searching but i can't seem to find a way to make an axiom that says "each column must have 4 cells, and must have each one of…
eXistanCe
  • 735
  • 1
  • 9
  • 25
4
votes
1 answer

Is property with exact cardinality one functional?

In an OWL-DL ontology, consider a property p with domain D and range R where D has a restriction over p to have cardinality of exactly one: D SubClassOf p exactly 1 Thing (D ⊑ =1 p.Thing) Can we then infer that p is a functional…
Median Hilal
  • 1,483
  • 9
  • 17
3
votes
1 answer

Protege: how to express 'not hasNext'?

I am currently developing an ontology using protege and would like to determine if a node is a last one of a list. So basically a list points to a node and every node has some content and can have another node: List startsWith some Node Node…
Pedro
  • 4,100
  • 10
  • 58
  • 96
3
votes
2 answers

Strange query behaviour in OWL!

In OWL this query works fine "person and hasChild min 3" it works fine and it gives me all persons who have more than 3 children but this one does not work "person and hasChild max 3" it should give me all persons who have less than 3 children…
ahmed
  • 14,316
  • 30
  • 94
  • 127
3
votes
0 answers

python: parse owl file in manchester syntax to owlready

Is it possible to parse an ontology given in manchester syntax such that it ends up as an owlready ontology-object. This is what I found out so far: Owlready itself can only import "NTriples, RDF/XML or OWL/XML format" (ref1). Ontospy can (among…
cknoll
  • 2,130
  • 4
  • 18
  • 34
2
votes
0 answers

Problem to get integer values for Protege DataProperty from Excel using Cellfie

I am using Cellfie plug-in for Protégé to create ontological individuals from an Excel database of scientific articles. I face a problem when I try to assign an integer value to a property 'has interger value' which range is xsd:integer. In fact,…
HugoMH
  • 51
  • 1
2
votes
1 answer

Find people that are not alive in 2016

I have an ontology, where Person is a class and hasDeathYear is a data property. I have to express the title in a DL query. I can ask this: Person and hasDeathYear value 2016 but I cannot ask something like this: Person and hasDeathYear min…
gsamaras
  • 71,951
  • 46
  • 188
  • 305
2
votes
1 answer

How do I express "Every" in manchester owl syntax?

If A isRelatedTo B and B has the dataproperty: existence = {true, false} how can I express in manchester owl syntax (for protege) the subset where: is type A and every isRelatedTo of A has the value "true"
user3087190
  • 21
  • 2
2
votes
1 answer

Meaning of OWL exact cardinality restrictions

I am a newbie coding with the Manchester syntax for OWL. I need to understand the role of exactly. Which of these restrictions is correct: (hasChild (A or B)) and (hasChild exactly 1 Thing) (hasChild (A or B)) and (hasChild exactly 2…
Academia
  • 3,984
  • 6
  • 32
  • 49
2
votes
1 answer

Querying anonymous classes in OWL API with Manchester Syntax

I'm using OWL API for reasoning over ontology created in Protege. I'm dealing with OWL API Example DL query:…
user1823541
  • 23
  • 5
2
votes
1 answer

Enumerations in OWL Restrictions

I am trying to add restrictions to properties in an ontology using Protege3.x. I have a problem specifying enumerations inside restrictions. For example trying to specify a enum to restrict the possible data elements in this way: which considers…
Ehsan
  • 561
  • 1
  • 6
  • 21
1
vote
2 answers

How-to serialize OWLClassExpression to triples

I am trying to parse a Manchester syntax class expression, and retrieve its corresponding RDF serialization triples. This question helped me a lot : OWLAPI : "ParserException" while converting String to Class Expression using…
ThomasFrancart
  • 470
  • 3
  • 13
1
vote
1 answer

Protégé dataTime restriction

I've a Data Property ShowTime with domain Show and range xsd:dateTime. I'd like to know if there is a way to assert that the dataTime range must be included in "2018-01-01TX:X:X", in order to have a fixed date and a variable hour on that date. I've…
Cilla
  • 419
  • 5
  • 16
1
vote
1 answer

General class Axioms

OWL AXIOM expressions: Given: owl:class sport Output: in addition to the existing owl:object properties i want to add the owl:object property player with the value Peter to every instance from type owl:class sport. That means that every…
PeterAllan
  • 13
  • 2
1
2