Questions tagged [axiom]

Axiom is a Java library developed by Apache that provides an XML object model implementation.

Axiom is a Java library developed by Apache that provides an XML object model implementation.

144 questions
61
votes
31 answers

Why can't programs be proven?

Why can't a computer program be proven just as a mathematical statement can? A mathematical proof is built up on other proofs, which are built up from yet more proofs and on down to axioms - those truths truths we hold as self evident. Computer…
4thSpace
  • 43,672
  • 97
  • 296
  • 475
61
votes
5 answers

How do you Change a Package's Log Level using Log4j?

I've encountered the following bug: http://issues.apache.org/jira/browse/AXIS2-4363 It states the following: This error only occurs when log level for org.apache.axiom is DEBUG so a workaround is to set log level > DEBUG. My question is HOW…
Ryan Elkins
  • 5,731
  • 13
  • 41
  • 67
12
votes
1 answer

Hypothetical, formerly-C++0x concepts questions

(Preamble: I am a late follower to the C++0x game and the recent controversy regarding the removal of concepts from the C++0x standard has motivated me to learn more about them. While I understand that all of my questions are completely hypothetical…
GRB
  • 1,515
  • 2
  • 11
  • 10
11
votes
3 answers

Formulating Effect axiom

How to write correctly the effect axiom for empty(b,t)-action using the predicate contains(b,l,t) The predicate evaluates True , if the bucket b holds l liters of water at time t. empty(b,t): completely empties bucket b at time t. The effect of the…
Mensch
  • 487
  • 7
  • 19
7
votes
1 answer

Whats the right choice for me for building Web Service using Axis2 - AXIOM, JAXB, ADB or XMLBeans

Axis2 supports Web Service creation using AXIOM, JAXB, ADB and XMLBeans. I am new in this area of Web Service development and want to create a Web Service using Axis2. The web service is going to be very simple but I am expecting it to change quite…
chitresh
  • 867
  • 2
  • 10
  • 17
6
votes
1 answer

Axis2 : four ways to create clients

There are 4 ways to create Clients in Axis 2 as shown 1.building an AXIOM based client, 2.generating a client using Axis2 Databinding Framework (ADB), 3.generating a client using XMLBeans, 4.and generating a client using JiBX Could anybody…
user663724
5
votes
1 answer

Get an InputStream/io.Reader from OMElement object

I have a OMElement object and from that I want to get an InputStream or reader object. What I want is to stream the xml from the OMElement which I have, without getting loaded into memory. I only could be able to get XMLStreamReader object from…
erandi
  • 51
  • 3
5
votes
3 answers

How much performance increase with streaming XPath

Just read the article "Streaming XPath Parser for WSO2 ESB". I was wondering how much the performance increases with this implementation compared to the previous implementation. Are there any numbers available on this?
Peter Hofman
  • 673
  • 4
  • 17
4
votes
6 answers

10 LISP primitives analogous to 5 axioms of Euclidean geometry?

LISP can be built from ten primitives: The primitives are: atom, quote, eq, car, cdr, cons, cond, lambda, label, apply. Apparently these are equivalent to the 5 axioms of Euclidean geometry. http://hyperpolyglot.wikidot.com/lisp Can anyone explain…
hawkeye
  • 34,745
  • 30
  • 150
  • 304
4
votes
2 answers

Working on Peano Axioms in Agda and hit a bit of a sticking point

PA6 : ∀{m n} -> m ≡ n -> n ≡ m is the axiom I am trying to solve and support, I've tried using a cong (from the core library) but am having troubles with the cong constructor PA6 = cong gets me nowhere, I know for cong I am required to supply a…
Schroedinger
  • 1,273
  • 14
  • 32
4
votes
1 answer

How can I setup dependencies for Axis2 / Axiom on Maven2

I've tried the following settings on pom.xml to use Axis2 wsdl2code: org.apache.axis2 axis2 1.5.1 ...
user266982
  • 41
  • 1
  • 1
  • 2
3
votes
1 answer

Axiom or WPF 3D?

I've done some simple sample apps with 3D WPF, but I feel like I'm gonna have to write a full layer on top of it if I want to manage objects in a simple way. Let me explain. I need to import objects from other modeling software (solidworks for…
Padu Merloti
  • 3,219
  • 3
  • 33
  • 44
3
votes
1 answer

DTD parsing with axiom

I'm trying to use axiom 1.2.22 with woodstox 6.2.6 to parse an XML document with a doctype. (I'm using OpenJDK 11 but that shouldn't make any difference.) I'm getting the same error that was mentioned in How to ignore DTD parsing in Apache's AXIOM…
hwbllmnn
  • 39
  • 6
3
votes
3 answers

Axiom resolution

I try to understand how axiom resolution works in prolog. Let's assume that I define the two basic operations on the natural numbers: s(term) (stands for successor) and add(term, anotherTerm). The semantic of add is given by add (0, x1) -> x1 add…
bob bajram
  • 33
  • 2
3
votes
1 answer

What version of AXIS2 shipped with Websphere 8.5.5.2?

I just want to know the inputs for below questions. what version of AXIS2 will come with Websphere 8.5.5.2? Where can i see the version details of AXIS2 jars shipped with WAS 8.5.5.2? My code actually compiled with AXIS2 1.6.1 and deployed the…
Naresh
  • 147
  • 4
  • 14
1
2 3
9 10